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

Albert Benveniste 1 Eric Fabre 1 Stefan Haar 1 Claude Jard 2
1 SIGMA2 - Signal, models, algorithms
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
2 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00638345
Contributor : Stefan Haar <>
Submitted on : Friday, November 4, 2011 - 3:42:54 PM
Last modification on : Friday, November 16, 2018 - 1:23:54 AM

Identifiers

  • HAL Id : inria-00638345, version 1

Citation

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⟩

Share

Metrics

Record views

338