Communication dans un congrès, LaHDAK, Informatique, Intelligence artificielle
Abstractions refinement for hybrid systems diagnosability analysis
Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois. Abstractions refinement for hybrid systems diagnosability analysis. DX'17 28th International Workshop on Principles of Diagnosis, Sep 2017, Brescia, Italy. ⟨10.1007/978-3-319-74962-4_11⟩. ⟨hal-01676931⟩
