Skip to Main content Skip to Navigation
Conference papers

Fault Manifestability Verification for Discrete Event Systems

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01483424
Contributor : Philippe Dague <>
Submitted on : Sunday, March 5, 2017 - 7:42:56 PM
Last modification on : Wednesday, September 16, 2020 - 5:50:26 PM

Identifiers

  • HAL Id : hal-01483424, version 1

Citation

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⟩

Share

Metrics

Record views

766