Integrating Z in DEVS : a Case Study Lift Control System

Wassim Trojet; Claudia Frydman; Maamar  El Amine Hamri

Conference Papers Year :

Integrating Z in DEVS : a Case Study Lift Control System

, , (1, 2)

1
2

Wassim Trojet

Function : Author
PersonId : 177667
IdHAL : 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 4, 2022-4:17:02 AM

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⟩

Integrating Z in DEVS : a Case Study Lift Control System

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share