Gario, Marco Elio Gustavo
Gario, Marco Elio Gustavo
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.009 secondi).
A Formal Foundation of FDI Design via Temporal Epistemic Logic
2016-01-01 Gario, Marco
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
2013-01-01 Marco, Bozzano; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Stefano, Tonetta
Automated generation of FDIR for the compass integrated toolset (AUTOGEF)
2012-01-01 Elena, Alaña; Héctor, Naranjo; Yuri, Yushtein; Marco, Bozzano; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Régis de, Ferluc; Gérard, Garcia
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic
2014-01-01 Marco, Bozzano; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Stefano, Tonetta
Formal Specification and Synthesis of FDI through an Example
2013-01-01 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Stefano, Tonetta
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