Skip to Main content Skip to Navigation
Conference papers

Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams

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

https://hal.archives-ouvertes.fr/hal-00458164
Contributor : LS2N Hal Connect in order to contact the contributor
Submitted on : Friday, February 19, 2010 - 3:17:50 PM
Last modification on : Wednesday, April 27, 2022 - 4:10:39 AM

Identifiers

  • HAL Id : hal-00458164, version 1

Citation

Christian Attiogbé, Pascal Poizat, Gwen Salaün. Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams. 2003, Nice, France, France. pp.240a. ⟨hal-00458164⟩

Share

Metrics

Record views

59