Integration of Formal Datatypes within State Diagrams - Archive ouverte HAL
Communication Dans Un Congrès Année : 2003

Integration of Formal Datatypes within State Diagrams

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-00458163 , version 1 (19-02-2010)

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⟩
92 Consultations
0 Téléchargements

Partager

More