Integration of Formal Datatypes within State Diagrams

Résumé : no abstract
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00458163
Contributor : Ls2n Hal <>
Submitted on : Friday, February 19, 2010 - 3:17:45 PM
Last modification on : Thursday, February 7, 2019 - 3:46:07 PM

Identifiers

  • HAL Id : hal-00458163, version 1

Citation

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⟩

Share

Metrics

Record views

175