Modeling and verification of real-time multi-agent systems: The REMM framework | [Modellazione e verifica di sistemi multi-agente real-time: Il framework REMM]

Aversa, R; Martino, B Di; Moscato, F; Venticinque, Salvatore
Year:
2009
Type of Publication:
In Proceedings
Book title:
WOA 2009 Decimo Workshop Nazionale "Dagli Oggetti agli Agenti" Verso il Futuro dei Sistemi Software Basati su Agenti
Pages:
1-5
Address:
PARMA
Hits: 357
You are here: Home Research Publications Publications modeling-and-verification-of-real-time-multi-agent-systems-the-remm-framework-modellazione-e-verifica-di-sistemi-multi-agente-real-time-il-framework-remm