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

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]

Type de document :

Article dans une revue

International Journal of Simulation and Process Modelling, 2017, 12 (3/4), 〈10.1504/IJSPM.2017.085564〉

Domaine :

Informatique [cs]

Liste complète des métadonnées

https://hal-amu.archives-ouvertes.fr/hal-01785965
Contributeur : Isabel Demongodin <>
Soumis le : vendredi 4 mai 2018 - 17:55:31
Dernière modification le : mercredi 12 septembre 2018 - 01:26:28

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

Identifiants

Collections

Citation

Exporter

Métriques

64

Contact

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

Identifiants

Collections

Citation

Exporter

Partager

Métriques

64

Contact