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

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⟩
83 Consultations
0 Téléchargements

Partager

More