Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams
Résumé
no abstract
Communication Dans Un Congrès
Année : 2003
LS2N Hal : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00458164
Soumis le : vendredi 19 février 2010-15:17:50
Dernière modification le : mardi 20 février 2024-14:22:06
Dates et versions
Identifiants
- HAL Id : hal-00458164 , version 1
Citer
Christian Attiogbé, Pascal Poizat, Gwen Salaün. Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams. {8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'03}, 2003, Nice, France, France. pp.240a. ⟨hal-00458164⟩
Collections
65
Consultations
0
Téléchargements