Journal Articles
International Journal of Simulation and Process Modelling
Year : 2017
Isabel Demongodin : Connect in order to contact the contributor
https://hal-amu.archives-ouvertes.fr/hal-01785965
Submitted on : Friday, May 4, 2018-5:55:31 PM
Last modification on : Friday, March 24, 2023-2:53:07 PM
Cite
Aznam Yacoub, Maamar El Amine Hamri, Claudia Frydman, Chungman Seo, Bernard P Zeigler. DEv-PROMELA : An Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event System. International Journal of Simulation and Process Modelling, 2017, 12 (3/4), ⟨10.1504/IJSPM.2017.085564⟩. ⟨hal-01785965⟩
79
View
0
Download