Sfoglia per Autore
From Interaction Overview Diagrams to Temporal Logic
2010-01-01 Baresi, Luciano; Morzenti, ANGELO CARLO; Motta, Alfredo; Rossi, MATTEO GIOVANNI
QoS Driven Dynamic Binding in-the-many
2010-01-01 Ghezzi, Carlo; Motta, Alfredo; PANZICA LA MANNA, Valerio; Tamburrelli, Giordano
Towards the UML-Based Formal Verification of Timed Systems
2011-01-01 Baresi, Luciano; Morzenti, ANGELO CARLO; Motta, Alfredo; Rossi, MATTEO GIOVANNI
From Interaction Overview Diagrams to Temporal Logic
2011-01-01 Baresi, Luciano; Morzenti, ANGELO CARLO; Motta, Alfredo; Rossi, MATTEO GIOVANNI
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems
2012-01-01 Alek, Radjenovic; Nicholas, Matragkas; Richard F., Paige; Rossi, MATTEO GIOVANNI; Motta, Alfredo; Baresi, Luciano; Dimitrios S., Kolovos
A logic-based semantics for the verification of multi-diagram UML models
2012-01-01 Baresi, Luciano; Morzenti, ANGELO CARLO; Motta, Alfredo; Rossi, MATTEO GIOVANNI
Formal verification and validation of embedded systems: the UML-based MADES approach
2015-01-01 Baresi, Luciano; Gundula, Blohm; Dimitrios S., Kolovos; Nicholas, Matragkas; Motta, Alfredo; Richard F., Paige; Alek, Radjenovic; Rossi, MATTEO GIOVANNI
A logic-based approach for the verification of UML timed models
2017-01-01 Baresi, Luciano; Morzenti, Angelo; Motta, Alfredo; Pourhashem, Mohammad Mehdi; Rossi, Matteo
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