Skip to Main content Skip to Navigation
Conference papers

Integrating Z in DEVS : a Case Study Lift Control System

Complete list of metadata

https://hal-amu.archives-ouvertes.fr/hal-03555714
Contributor : MAAMAR EL AMINE HAMRI Connect in order to contact the contributor
Submitted on : Thursday, February 3, 2022 - 5:35:32 PM
Last modification on : Friday, February 4, 2022 - 4:17:02 AM

Identifiers

  • HAL Id : hal-03555714, version 1

Collections

Citation

Wassim Trojet, Claudia Frydman, Maamar El Amine Hamri. Integrating Z in DEVS : a Case Study Lift Control System. International Conference on Software Engineering Research and Practice, Jul 2008, Las Vegas - Nevada, United States. ⟨hal-03555714⟩

Share

Metrics

Record views

6