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

Aznam Yacoub; Maamar El Amine Hamri; Claudia Frydman; Chungman Seo; Bernard Zeigler

doi:10.1504/IJSPM.2017.085564

Journal articles

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 ³ Bernard Zeigler ³

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

Domain :

Computer Science [cs]

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 : Wednesday, October 27, 2021 - 9:10:41 AM

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

Identifiers

Collections

Citation

Export

Metrics

359

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

Identifiers

Collections

Citation

Export

Share

Metrics

359