Skip to Main content Skip to Navigation
New interface
Journal articles

DEv-PROMELA : An Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event System

Document type :
Journal articles
Complete list of metadata

https://hal-amu.archives-ouvertes.fr/hal-01785965
Contributor : Isabel Demongodin Connect in order to contact the contributor
Submitted on : Friday, May 4, 2018 - 5:55:31 PM
Last modification on : Thursday, July 14, 2022 - 4:06:57 AM

Identifiers

Citation

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⟩

Share

Metrics

Record views

78