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

Aznam Yacoub 1, 2 Maamar El Amine Hamri 1, 2 Claudia Frydman 1, 2 Chungman Seo 3 Bernard Zeigler 3
1 LSIS - Laboratoire des Sciences de l'Information et des Systèmes
2 MOFED - Modèles et Formalismes à Evénements Discrets
LIS - Laboratoire d'Informatique et Systèmes
3 ECE - Department of Electrical and Computer Engineering [Tucson]
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

UNIV-AMU | CNRS | UNIV-TLN | ENSAM | LSIS | LIS-LAB | UNIV-HESAM

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

112

Contact

Informations

CCSD