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