Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 5 di 5
Software-driven database mfATLAS
2017-01-01 Romano Spica, V; Orsini, M; Valeriani, F
wikigiene
2009-01-01 Romano Spica, V; Frangella, C; Recupero, F; Valcamonici, L
QKS
2010-01-01 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
SyLVaaS
2014-01-01 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
NashMV
2008-01-01 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Lorenzo, Alvisi; Allen, Clement; Harry, Li
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Software-driven database mfATLAS | 1-gen-2017 | Romano Spica, V; Orsini, M; Valeriani, F | |
| wikigiene | 1-gen-2009 | Romano Spica, V; Frangella, C; Recupero, F; Valcamonici, L | |
| QKS | 1-gen-2010 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
| SyLVaaS | 1-gen-2014 | Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico | |
| NashMV | 1-gen-2008 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Lorenzo, Alvisi; Allen, Clement; Harry, Li |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 5 di 5
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
Scopri
Tipologia
- 5 Altro5
Data di pubblicazione
- 20171
- 20141
- 20101
- 20091
- 20081
Keyword
- Formal Verification2
- Formal Methods1
- Hardware in the Loop Simulation1
- Hybrid Systems1
- Model Checking1
- Model Checking MAD systems1
- Quantized Feedback Control Softwa...1
- System Level Formal Verification1
- Verification of P2P systems1
Lingua
- eng4
- ita2
Accesso al fulltext
- no fulltext5