Conference Papers
Year :
MAAMAR EL AMINE HAMRI : Connect in order to contact the contributor
https://amu.hal.science/hal-02372283
Submitted on : Wednesday, November 20, 2019-12:29:08 PM
Last modification on : Friday, March 24, 2023-2:53:13 PM
Dates and versions
Identifiers
- HAL Id : hal-02372283 , version 1
Cite
Abdelhak Khemiri, Maamar El Amine Hamri, Claudia Frydman, Jacques Pinaton. Limiting State Space Explosion of Model Checking Using Discrete Event Simulation : Combining DEVS and PROMELA. Proceedings of Computer Simulation Conference 2019, Jul 2019, Berlin, Germany. ⟨hal-02372283⟩
55
View
0
Download