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