Skip to Main content Skip to Navigation
Conference papers

Integrating Z in DEVS : a Case Study Lift Control System

Wassim Trojet Claudia Frydman Maamar El Amine Hamri 1, 2 
1 MOFED - Modèles et Formalismes à Evénements Discrets
LIS - Laboratoire d'Informatique et Systèmes
2 LIS - Laboratoire d'Informatique et Systèmes
Document type :
Conference papers
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

UNIV-TLN | CNRS | UNIV-AMU | TDS-MACS | LIS-LAB | INCIAM

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

6