Restricting DEv-PROMELA with a Hierarchy of Simulation Formalisms

Aznam Yacoub; Maâmar El-Amine Hamri; Claudia Frydman

Restricting DEv-PROMELA with a Hierarchy of Simulation Formalisms

Aznam Yacoub ^{1, 2} Maâmar El-Amine Hamri ^{1, 2} Claudia Frydman ^{1, 2}

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

Document type :

Conference papers

Domain :

Computer Science [cs]

Complete list of metadatas

https://hal-amu.archives-ouvertes.fr/hal-01786109
Contributor : Isabel Demongodin <>
Submitted on : Friday, May 4, 2018 - 11:10:25 PM
Last modification on : Wednesday, September 12, 2018 - 1:26:03 AM

Restricting DEv-PROMELA with a Hierarchy of Simulation Formalisms

Identifiers

Collections

Citation

Export

Metrics

141

Contact

Restricting DEv-PROMELA with a Hierarchy of Simulation Formalisms

Identifiers

Collections

Citation

Export

Share

Metrics

141

Contact