Francesco MOSCATO | Pubblicazioni
Francesco MOSCATO Pubblicazioni
2009 | |
Contributo in Atti di convegno | |
Modellazione e verifica di sistemi multi-agente real-time: Il framework REMM. In: 10th Workshop on Objects and Agents, WOA'09 CEUR Workshop Proceedings | |
10th Workshop on Objects and Agents, WOA 2009 Parma, ita 2009 | |
Aversa, Rocco; DI MARTINO, Beniamino; Moscato, Francesco; Venticinque, Salvatore | |
Codice identificativo SCOPUS: 2-s2.0-85043065398 | |
Visualizza sul Database dei Prodotti (IRIS) |
2009 | |
Contributo in Atti di convegno | |
Modeling and verification of real-time multi-agent systems: The REMM framework | [Modellazione e verifica di sistemi multi-agente real-time: Il framework REMM]. In: WOA 2009 Decimo Workshop Nazionale "Dagli Oggetti agli Agenti" Verso il Futuro dei Sistemi Software Basati su Agenti Federico Bergenti Pag.1-5 ISBN:978-88-6122-157-4 | |
10th Workshop on Objects and Agents, WOA 2009; Parma; Italy; 9 July 2009 through 10 July 2009 Parma, Italy Luglio 2009 | |
Aversa, R; Di Martino, B; Moscato, F; Venticinque, S | |
Versione online | |
Codice identificativo SCOPUS: 2-s2.0-84870429327 | |
Visualizza sul Database dei Prodotti (IRIS) |