Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems

Ashalatha Kunnappilly, Simin Cai, Raluca Marinescu, Cristina Seceleanu. Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems. In Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek, editors, Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019. pages 114-126, SciTePress, 2019. [doi]

Authors

Ashalatha Kunnappilly

This author has not been identified. Look up 'Ashalatha Kunnappilly' in Google

Simin Cai

This author has not been identified. Look up 'Simin Cai' in Google

Raluca Marinescu

This author has not been identified. Look up 'Raluca Marinescu' in Google

Cristina Seceleanu

This author has not been identified. Look up 'Cristina Seceleanu' in Google