Complementarity between simulation and formal verification transformation of PROMELA models into FDDEVS models: Application to a case study.

Aznam Yacoub, Mamar El-Amine Hamri, Claudia S. Frydman

Browse the full SIMULTECH paper archive.