RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
CMurphi
2004 Giuseppe Della, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa
FHP-Murphi
2006 iuseppe Della, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa
NashMV
2008 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Lorenzo, Alvisi; Allen, Clement; Harry, Li
QKS
2010 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
SyLVaaS
2014 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
CMurphi | 2004 | Giuseppe Della, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa | |
FHP-Murphi | 2006 | iuseppe Della, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa | |
NashMV | 2008 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Lorenzo, Alvisi; Allen, Clement; Harry, Li | |
QKS | 2010 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
SyLVaaS | 2014 | Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico |
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
Opzioni
Scopri
Tipologia
- 12 Prodotto tecnologico 5
- 12 Prodotto tecnologico::12b Software 5
Data di pubblicazione
- 2014 1
- 2010 1
- 2008 1
- 2006 1
- 2004 1
Prodotti per parola chiave
- Formal Verification 4
- Model Checking 2
- Disk Based Explicit Model Checker 1
- Explicit Model Checking for Stochastic Systems 1
- Formal Methods 1
- Hardware in the Loop Simulation 1
- Hybrid Systems 1
- Model Checking MAD systems 1
- Probabilistic Model Checking 1
- Quantized Feedback Control Software Synthesis. Hybrid Systems 1
Lingua
- eng 5
Accesso al fulltext
- no fulltext 5