Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman. Complementarity between simulation and formal verification transformation of PROMELA models into FDDEVS models: Application to a case study. In 4th International Conference On Simulation And Modeling Methodologies, Technologies And Applications, SIMULTECH 2014, Vienna, Austria, August 28-30, 2014. pages 421-426, IEEE, 2014. [doi]
@inproceedings{YacoubHF14,
title = {Complementarity between simulation and formal verification transformation of PROMELA models into FDDEVS models: Application to a case study},
author = {Aznam Yacoub and Maâmar El-Amine Hamri and Claudia S. Frydman},
year = {2014},
url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=7095054},
researchr = {https://researchr.org/publication/YacoubHF14},
cites = {0},
citedby = {0},
pages = {421-426},
booktitle = {4th International Conference On Simulation And Modeling Methodologies, Technologies And Applications, SIMULTECH 2014, Vienna, Austria, August 28-30, 2014},
publisher = {IEEE},
isbn = {978-989-758-060-4},
}