Complementarity between Simulation and Formal Verification - Transformation of PROMELA Models into FDDEVS Models: Application to a Case Study - Archive ouverte HAL Access content directly
Conference Papers Year :

Complementarity between Simulation and Formal Verification - Transformation of PROMELA Models into FDDEVS Models: Application to a Case Study

, (1, 2) ,
1
2
Not file

Dates and versions

hal-03555523 , version 1 (03-02-2022)

Identifiers

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More