Sfoglia per Correlatore FILIERI, ANTONIO
Mostrati risultati da 1 a 4 di 4
Algoritmi efficienti per model checking parametrico di modelli markoviani discreti
2010/2011 BUSSI, MARCO
Estensione di SOABench per il supporto di failure modes multipli : design e valutazione d'impatto
2010/2011 MANINI, EMILIANO
Incremental reachability checking of KernelC programs using matching logic
2012/2013 RIZZI, ALESSANDRO MARIA
Reti di Petri stocastiche colorate per la modellazione di failure modes multipli in sistemi a componenti
2009/2010 SPELTA, FILIPPO
| Fulltext | Data | Tipo | Titolo | Autore (i) |
|---|---|---|---|---|
| 2012-04-23 | Tesi di laurea Magistrale | Algoritmi efficienti per model checking parametrico di modelli markoviani discreti | BUSSI, MARCO | |
| 2011-10-04 | Tesi di laurea Magistrale | Estensione di SOABench per il supporto di failure modes multipli : design e valutazione d'impatto | MANINI, EMILIANO | |
| 2013-10-03 | Tesi di laurea Magistrale | Incremental reachability checking of KernelC programs using matching logic | RIZZI, ALESSANDRO MARIA | |
| 2010-12-20 | Tesi di laurea Magistrale | Reti di Petri stocastiche colorate per la modellazione di failure modes multipli in sistemi a componenti | SPELTA, FILIPPO |
Mostrati risultati da 1 a 4 di 4
Legenda icone accesso al fulltext
- File accessibili da tutti
- File accessibili dagli utenti autorizzati
- File accessibili da tutti o solo dagli utenti autorizzati, a partire dalla la data indicata nella scheda
- File non accessibili