Skip to Main content Skip to Navigation
Conference papers

Fault Manifestability Verification for Discrete Event Systems

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01483424
Contributor : Philippe Dague Connect in order to contact the contributor
Submitted on : Sunday, March 5, 2017 - 7:42:56 PM
Last modification on : Tuesday, June 14, 2022 - 10:37:50 AM

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

470