![](/img/cover-not-exists.png)
[SCITEPRESS - Science and and Technology Publications 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Vienna, Austria (2014.8.28-2014.8.30)] Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Complementarity between Simulation and Formal Verification - Transformation of PROMELA Models into FDDEVS Models: Application to a Case Study
Yacoub, Aznam, Hamri, Maamar, Frydman, ClaudiaYear:
2014
Language:
english
DOI:
10.5220/0005037904210426
File:
PDF, 246 KB
english, 2014