Communication dans un congrès, LaHDAK, Computer Science, Génie logiciel, Software Engineering
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⟩