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

Document type :
Journal articles
Complete list of metadatas

https://hal-amu.archives-ouvertes.fr/hal-01785965
Contributor : Isabel Demongodin <>
Submitted on : Friday, May 4, 2018 - 5:55:31 PM
Last modification on : Wednesday, September 12, 2018 - 1:26:28 AM

Identifiers

Collections

Citation

Aznam Yacoub, Maamar El Amine Hamri, Claudia Frydman, Chungman Seo, Bernard 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

87