Sfoglia per Autore
Mostrati risultati da 1 a 6 di 6
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
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
2013-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
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
A Formal Foundation of FDI Design via Temporal Epistemic Logic
2016-01-01 Gario, Marco
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
Mostrati risultati da 1 a 6 di 6
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