Roveri, Marco
Roveri, Marco
Ingegneria e scienza dell'Informaz (29/10/12-)
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.005 secondi).
Agent-oriented modeling by interleaving formal and informal specification
2003-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)
2012-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-2003 | Perini, AnnaRoveri, MarcoSusi, Angelo + | |
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010) | 1-gen-2012 | Marco Roveri + |