Sfoglia per Rivista
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 |
---|---|---|---|
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 |
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