Sfoglia per Autore
Mostrati risultati da 1 a 11 di 11
Can Graph Grammars make Formal Methods more Human?
2000-01-01 Baresi, Luciano; Pezze', Mauro
PLCTools: Design, Formal Validation, and Code Generation for Programmable Controllers.
2000-01-01 Baresi, Luciano; Mauri, Marco; Monti, Antonello; Pezze', Mauro
On Formalizing UML with High-Level Petri Nets
2001-01-01 Baresi, Luciano; Pezze', Mauro
Proceedings of the Satellite Workshops of the 28th International Colloquium on Automata, Languages, and Programming (ICALP)
2001-01-01 Baresi, Luciano; J., Lévy; R., Mayr; Pezze', Mauro; G., Taentzer; C., Zaroliagis
Using Symbolic Execution for Verifying Safety-Critical Systems
2001-01-01 COEN PORISINI, Alberto; Denaro, Giovanni; Ghezzi, Carlo; Pezze', Mauro
Improving UML with Petri nets
2001-01-01 Baresi, Luciano; Pezze', Mauro
PLCTools: Graph Transformation Meets PLC Design
2002-01-01 Baresi, Luciano; Mauri, Marco; Pezze', Mauro
Efficient analysis of event processing applications
2015-01-01 Cugola, Gianpaolo; Margara, Alessandro; Pezze', Mauro; Pradella, Matteo
Dynamic data flow testing of object oriented systems
2015-01-01 Denaro, Giovanni; Margara, Alessandro; Pezze', Mauro; Vivanti, Mattia
Towards an engineering methodology for multi-model scientific simulations
2015-01-01 Margara, Alessandro; Pezze', Mauro; Pivkin, Igor V.; Santoro, Mauro
A Survey of Recent Trends in Testing Concurrent Software Systems
2018-01-01 Adalberto Bianchi, Francesco; Margara, Alessandro; Pezze', Mauro
Mostrati risultati da 1 a 11 di 11
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile