Conference Papers
Year :
MAAMAR EL AMINE HAMRI : Connect in order to contact the contributor
https://amu.hal.science/hal-03555523
Submitted on : Thursday, February 3, 2022-4:30:32 PM
Last modification on : Friday, March 24, 2023-2:53:25 PM
Cite
Aznam Yacoub, Maamar El Amine Hamri, Claudia Frydman. Complementarity between Simulation and Formal Verification - Transformation of PROMELA Models into FDDEVS Models: Application to a Case Study. 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Aug 2014, Vienna, France. pp.421-426, ⟨10.5220/0005037904210426⟩. ⟨hal-03555523⟩
3
View
0
Download