Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

1 résultat

Effective Verification of Weak Diagnosability

Anoopam Agarwal , Agnes Madalinski , Stefan Haar
Proceedings of the 8th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS'12), 2012, Mexico City, Mexico. ⟨10.3182/20120829-3-MX-2028.00083⟩
Communication dans un congrès hal-00776774v1