Communication dans un congrès, LaHDAK, Computer Science, Génie logiciel, Software Engineering

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⟩

Published on