Integrating Z in DEVS : a Case Study Lift Control System - Archive ouverte HAL Access content directly
Conference Papers Year :

Integrating Z in DEVS : a Case Study Lift Control System

Wassim Trojet
CV
Claudia Frydman
  • Function : Author
Maamar El Amine Hamri
  • Function : Author
  • PersonId : 1036804
Modèles et Formalismes à Evénements Discrets
Laboratoire d'Informatique et Systèmes

Domains

Computer Science [cs] Modeling and Simulation Computer Science [cs] Software Engineering [cs.SE]

MAAMAR EL AMINE HAMRI  : Connect in order to contact the contributor

https://hal-amu.archives-ouvertes.fr/hal-03555714

Submitted on : Thursday, February 3, 2022-5:35:32 PM

Last modification on : Friday, February 10, 2023-4:52:15 AM

Not file

Dates and versions

hal-03555714 , version 1 (03-02-2022)

Identifiers

  • HAL Id : hal-03555714 , version 1

Cite

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 Dublin Core DC Terms EndNote Datacite

Collections

UNIV-TLN CNRS UNIV-AMU TDS-MACS LIS-LAB
6 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More