Formal modeling and verification of real-time multi-agent systems: The REMM Framework

Moscato, F.; Venticinque, Salvatore; Aversa, Rocco; Martino, B. Di
Year:
2008
Type of Publication:
Article
Journal:
Studies in Computational Intelligence
Volume:
162
Pages:
187-196
DOI:
10.1007/978-3-540-85257-5_19
Hits: 599
You are here: Home Publications Publications formal-modeling-and-verification-of-real-time-multi-agent-systems-the-remm-framework