Communication Dans Un Congrès
Année : 1998
Jean-Pierre Damiano : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00973446
Soumis le : vendredi 4 avril 2014-11:30:56
Dernière modification le : lundi 26 février 2024-11:22:07
Dates et versions
Identifiants
- HAL Id : hal-00973446 , version 1
Citer
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. ⟨hal-00973446⟩
Collections
90
Consultations
0
Téléchargements