Communication dans un congrès, LaHDAK, Génie logiciel, Informatique
Manifestability Verification of Discrete Event Systems
Lina Ye, Philippe Dague, Lulu He. Manifestability Verification of Discrete Event Systems. DX 2019 - 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-9. ⟨hal-02425146⟩