Aznam Yacoub

Aznam Yacoub

University of Windsor - Windsor / Canada
Engineering & Technology / Computer Science
AD Scientific Index ID: 5210432
person_outline Aznam Yacoub's MOST POPULAR ARTICLES
1-) Using dev-promela for modelling and verification of software Proceedings of the 2016 ACM SIGSIM Conference on Principles of Advanced …, 2016
2-) DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems International Journal of Simulation and Process Modelling 12 (3-4), 313-327, 2017
3-) DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulation Simulation 96 (11), 881-910, 2020
4-) A method for improving the verification and validation of systems by the combined use of simulation and formal methods 2014 IEEE/ACM 18th International Symposium on Distributed Simulation and …, 2014
5-) Using DEVS for full life cycle model-based system engineering in complex network design Advances in Computing, Informatics, Networking and Cybersecurity: A Book …, 2022