Zampedri, Gianni
Zampedri, Gianni
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.002 secondi).
Automated Verification and Tightening of Failure Propagation Models
2016-01-01 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Zampedri, Gianni
The xSAP Safety Analysis Platform
2016-01-01 Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Automated Verification and Tightening of Failure Propagation Models | 1-gen-2016 | Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Zampedri, Gianni | |
The xSAP Safety Analysis Platform | 1-gen-2016 | Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni |