Verifying Temporal Properties in GRAFCET

Type de document :
Communication dans un congrès
2nd IMACS-IEEE International Multiconference, Computational Engineering in Systems Applications (CESA'98), Apr 1998, Nabeul-Hammamet, Tunisia. pp.vol 3, 38-43, 1998
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00973446
Contributeur : Jean-Pierre Damiano <>
Soumis le : vendredi 4 avril 2014 - 11:30:56
Dernière modification le : vendredi 4 avril 2014 - 11:30:56

Identifiants

  • HAL Id : hal-00973446, version 1

Collections

Citation

Ch. André, D. Gaffé, M. Robert. Verifying Temporal Properties in GRAFCET. 2nd IMACS-IEEE International Multiconference, Computational Engineering in Systems Applications (CESA'98), Apr 1998, Nabeul-Hammamet, Tunisia. pp.vol 3, 38-43, 1998. <hal-00973446>

Partager

Métriques

Consultations de la notice

69