Using timed automata for the verification of IEC 61499 applications - AUTomatic control Accéder directement au contenu
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⟩
77 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More