Conference Papers
Year :
MAAMAR EL AMINE HAMRI : Connect in order to contact the contributor
https://hal-amu.archives-ouvertes.fr/hal-03643254
Submitted on : Friday, April 15, 2022-3:42:09 PM
Last modification on : Friday, March 24, 2023-2:53:26 PM
Dates and versions
Identifiers
- HAL Id : hal-03643254 , version 1
Cite
Aznam Yacoub, Maamar El Amine Hamri, Claudia Frydman, C. Seo, Zeigler Bernard P.. Towards an Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event Systems. Proceedings of the 27th European Modelling and Simulation Symposium, 2015, Genoa, Italy. ⟨hal-03643254⟩
6
View
0
Download