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
Type de document :
Communication dans un congrès
Proceedings of the 6th Workshop on Discrete Event Systems (WODES'02), 2002, Zaragoza, Spain, Spain. pp.182-190, 2002
Liste complète des métadonnées

https://hal.inria.fr/inria-00638345
Contributeur : Stefan Haar <>
Soumis le : vendredi 4 novembre 2011 - 15:42:54
Dernière modification le : jeudi 11 janvier 2018 - 06:20:11

Identifiants

  • HAL Id : inria-00638345, version 1

Collections

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, 2002. 〈inria-00638345〉

Partager

Métriques

Consultations de la notice

261