Using timed automata for the verification of IEC 61499 applications - Archive ouverte HAL
Communication Dans Un Congrès Année : 2004

Using timed automata for the verification of IEC 61499 applications

Katell Kervella  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00908346

Soumis le : vendredi 22 novembre 2013-16:47:04

Dernière modification le : vendredi 24 mars 2023-14:52:57

Fichier non déposé

Dates et versions

hal-00908346 , version 1 (22-11-2013)

Identifiants

  • HAL Id : hal-00908346 , version 1

Citer

Marius-Petru Stanica, Hervé Guéguen. Using timed automata for the verification of IEC 61499 applications. WODES04 ; IFAC Workshop on Discrete Event Systems (7th edition), Sep 2004, Reims, France. ⟨hal-00908346⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

SUPELEC UNIV-NANTES UNIV-RENNES1 CNRS INSA-RENNES IETR SUP_ASH SUP_IETR UR1-MATH-STIC UR1-UFR-ISTIC IETR-AUT UNIV-RENNES INSA-GROUPE UR1-MATH-NUM NANTES-UNIVERSITE
82 Consultations
0 Téléchargements

Partager

More