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