Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman. A Method for Improving the Verification and Validation of Systems by the Combined Use of Simulation and Formal Methods. In 2014 IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications, Toulouse, France, October 1-3, 2014. pages 155-162, IEEE, 2014. [doi]
Abstract is missing.