Conference Papers
Year :
MAAMAR EL AMINE HAMRI : Connect in order to contact the contributor
https://hal-amu.archives-ouvertes.fr/hal-02372283
Submitted on : Wednesday, November 20, 2019-12:29:08 PM
Last modification on : Thursday, July 14, 2022-4:10:48 AM
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