Diagnosis of Asynchronous Discrete Event Systems, A~Net Unfolding Approach - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2002

Diagnosis of Asynchronous Discrete Event Systems, A~Net Unfolding Approach

Albert Benveniste
Signal, models, algorithms
Eric Fabre
  • Function : Author
Signal, models, algorithms
Stefan Haar
Signal, models, algorithms
Claude Jard
Reliable and efficient component based software engineering

Domains

Other [cs.OH]

Stefan Haar  : Connect in order to contact the contributor

https://inria.hal.science/inria-00638345

Submitted on : Friday, November 4, 2011-3:42:54 PM

Last modification on : Friday, March 24, 2023-2:52:55 PM

No file

Dates and versions

inria-00638345 , version 1 (04-11-2011)

Identifiers

  • HAL Id : inria-00638345 , version 1

Cite

Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard. Diagnosis of Asynchronous Discrete Event Systems, A~Net Unfolding Approach. Proceedings of the 6th Workshop on Discrete Event Systems (WODES'02), 2002, Zaragoza, Spain, Spain. pp.182-190. ⟨inria-00638345⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM
155 View
0 Download

Share

More