The following publications are possibly variants of this publication:
- DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulationAznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman. simulation, 96(11), 2020. [doi]
- Using DEv-PROMELA for Modelling and Verification of SoftwareAznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman. pads 2016: 245-253 [doi]
- Limiting state space explosion of model checking using discrete event simulation: combining DEVS and PROMELAAbdelhak Khemiri, Maâmar El-Amine Hamri, Claudia S. Frydman, Jacques Pinaton. SCSC 2019: [doi]