Communication dans un congrès, LaHDAK, Génie logiciel, Informatique
Fault Manifestability Verification for Discrete Event Systems
Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski. Fault Manifestability Verification for Discrete Event Systems. 22nd European Conference on Artificial Intelligence ECAI-16, Aug 2016, La Haye, Netherlands. ⟨hal-01483424⟩
