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

, , (1, 2)
1
2
Wassim Trojet
Claudia Frydman
  • Function : Author
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⟩
6 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More