Integration of 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-00458163
Soumis le : vendredi 19 février 2010-15:17:45
Dernière modification le : mardi 20 février 2024-14:22:06
Dates et versions
Identifiants
- HAL Id : hal-00458163 , version 1
Citer
Christian Attiogbé, Pascal Poizat, Gwen Salaün. Integration of Formal Datatypes within State Diagrams. Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, 2003, Genova, Italy, Italy. pp.341--355. ⟨hal-00458163⟩
Collections
65
Consultations
0
Téléchargements