Integrating Z in DEVS : a Case Study Lift Control System - Aix-Marseille Université Access content directly
Conference Papers Year : 2008

Integrating Z in DEVS : a Case Study Lift Control System

Wassim Trojet
Claudia Frydman
  • Function : Author
No 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⟩
6 View
0 Download

Share

Gmail Facebook X LinkedIn More