Sfoglia per Rivista FORMAL ASPECTS OF COMPUTING
Mostrati risultati da 1 a 5 di 5
Formal reliability analysis of redundant architectures
2019-01-01 Bozzano, M.; Cimatti, A.; Mattarei, C.
Formal Verification of a Railway Interlocking System Using Model Checking
1998-01-01 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits
2013-01-01 R., Banach; Bozzano, Marco
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits
2013-01-01 R., Banach; Bozzano, Marco
Model-based Safety Assessment of a Triple Modular Generator with XSAP
2021-01-01 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Jones, David; Mattarei, Cristian
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Formal reliability analysis of redundant architectures | 1-gen-2019 | Bozzano, M.; Cimatti, A.; Mattarei, C. | |
| Formal Verification of a Railway Interlocking System Using Model Checking | 1-gen-1998 | Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo | |
| The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits | 1-gen-2013 | R., Banach; Bozzano, Marco | |
| The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits | 1-gen-2013 | R., Banach; Bozzano, Marco | |
| Model-based Safety Assessment of a Triple Modular Generator with XSAP | 1-gen-2021 | Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Jones, David; Mattarei, Cristian |
Mostrati risultati da 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