Fernandes Pires, Anthony
Fernandes Pires, Anthony
ES
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.001 secondi).
Efficient SMT-Based Analysis of Failure Propagation
2021-01-01 Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Griggio, Alberto; Jonas, Martin; Kimberly, Greg
Formal Design and Safety Analysis of AIR6110 Wheel Brake System
2015-01-01 Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Jones, D.; Kimberly, G.; Petri, T.; Robinson, R.; Tonetta, Stefano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Efficient SMT-Based Analysis of Failure Propagation | 1-gen-2021 | Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Griggio, Alberto; Jonas, Martin; Kimberly, Greg | |
Formal Design and Safety Analysis of AIR6110 Wheel Brake System | 1-gen-2015 | Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Jones, D.; Kimberly, G.; Petri, T.; Robinson, R.; Tonetta, Stefano |