![](/img/cover-not-exists.png)
DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems
Yacoub, Aznam, Hamri, Maamar El Amine, Frydman, Claudia, Seo, Chungman, Zeigler, Bernard P.Volume:
12
Year:
2017
Journal:
International Journal of Simulation and Process Modelling
DOI:
10.1504/ijspm.2017.085564
File:
PDF, 1.04 MB
2017