Formal Modeling and Verification of Real-Time Multi-Agent Systems: the REMM Framework

Moscato, F; Venticinque, Salvatore; Aversa, R; Martino, B Di
Year:
2008
Type of Publication:
In Book
Keywords:
Mobile Agents; Real time models; Software engineering
Volume:
162
Pages:
187-196
Publisher:
Springer Berlin / Heidelberg
Address:
BERLINO
DOI:
10.1007/978-3-540-85257-5
Hits: 366
You are here: Home Research Publications Publications formal-modeling-and-verification-of-real-time-multi-agent-systems-the-remm-framework