DEv-PROMELA : An Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event System - Archive ouverte HAL Access content directly
Journal Articles International Journal of Simulation and Process Modelling Year : 2017
Not file

Dates and versions

hal-01785965 , version 1 (04-05-2018)

Identifiers

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More