Complementarity between Simulation and Formal Verification - Transformation of PROMELA Models into FDDEVS Models: Application to a Case Study - Aix-Marseille Université Access content directly
Conference Papers Year : 2014

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

No 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⟩
6 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More