Skip to Main content Skip to Navigation
Conference papers

Systematic Derivation of a Validation Model from a Rule-oriented Model: A System Validation Case Study using PROMELA/SPIN

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

https://hal.archives-ouvertes.fr/hal-00458200
Contributor : LS2N Hal Connect in order to contact the contributor
Submitted on : Friday, February 19, 2010 - 4:09:43 PM
Last modification on : Wednesday, April 27, 2022 - 4:12:35 AM

Identifiers

  • HAL Id : hal-00458200, version 1

Citation

Christian Attiogbé. Systematic Derivation of a Validation Model from a Rule-oriented Model: A System Validation Case Study using PROMELA/SPIN. 4th International Conference on Information and Communication Technologies: from Theory to Applications, ICTTA'04, 2004, Damscus, Syria, Syria. pp.581 -- 587. ⟨hal-00458200⟩

Share

Metrics

Record views

43