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⟩

Published on