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

Type de document :
Article dans une revue
International Journal of Simulation and Process Modelling, 2017, 12 (3/4), 〈10.1504/IJSPM.2017.085564〉
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

Identifiants

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〉

Partager

Métriques

Consultations de la notice

64