Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems.

Ashalatha Kunnappilly, Simin Cai, Raluca Marinescu, Cristina Seceleanu

Browse the full ENASE paper archive.