Fault Manifestability Verification for Discrete Event Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

Fault Manifestability Verification for Discrete Event Systems

Domains

Computer Science [cs] Artificial Intelligence [cs.AI] Computer Science [cs] Software Engineering [cs.SE]

Philippe Dague  : Connect in order to contact the contributor

https://hal.science/hal-01483424

Submitted on : Sunday, March 5, 2017-7:42:56 PM

Last modification on : Friday, March 24, 2023-2:53:04 PM

Not file

Dates and versions

hal-01483424 , version 1 (05-03-2017)

Identifiers

  • HAL Id : hal-01483424 , version 1

Cite

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS UMR8623 CENTRALESUPELEC LRI-MODHEL LRI-LAHDAK LRI-VALS UNIV-PARIS-SACLAY LISN GS-ENGINEERING GS-COMPUTER-SCIENCE LISN-LAHDAK
474 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More