Aznam Yacoub, Maamar El Amine Hamri, Claudia Frydman. 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 Real Time Applications (DS-RT), Oct 2014, Toulouse, France. pp.155-162,
⟨10.1109/DS-RT.2014.27⟩.
⟨hal-03555517⟩