Roveri, Marco
Roveri, Marco
Ingegneria e scienza dell'Informaz (29/10/12-)
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
Agent-oriented modeling by interleaving formal and informal specification
2004-01-01 Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010)
2013-01-01 Alpuente, María; Joubert, Christophe; Kowalewski, Stefan; Roveri, Marco
| Titolo | Anno di pubblicazione | Autori Unitn | File |
|---|---|---|---|
| Agent-oriented modeling by interleaving formal and informal specification | 1-gen-2004 | Perini, AnnaRoveri, MarcoSusi, Angelo + | |
| Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010) | 1-gen-2013 | Marco Roveri + |