|
[KCMS19]
Ashalatha Kunnappiilly, Simin Cai, Raluca Marinescu and Cristina Seceleanu.
Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems.
In Proc. 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'19), pages 114-126.
2019.
[Models and analyses a distributed ambient assisted living system represented in AADL using PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|