Communication dans un congrès, LaHDAK, Génie logiciel

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⟩

Publié le