Proving Properties of GRAFCET with Synchronous Tools

Type de document :
Communication dans un congrès
IEEE-SMC Computational Engineering in Systems Applications (CESA), Jul 1996, Lille, France. pp.777-782, 1996
Liste complète des métadonnées

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

Identifiants

  • HAL Id : hal-00973452, version 1

Collections

Citation

Ch. André, D. Gaffé. Proving Properties of GRAFCET with Synchronous Tools. IEEE-SMC Computational Engineering in Systems Applications (CESA), Jul 1996, Lille, France. pp.777-782, 1996. 〈hal-00973452〉

Partager

Métriques

Consultations de la notice

57