Conference Papers
Year :
MAAMAR EL AMINE HAMRI : Connect in order to contact the contributor
https://hal-amu.archives-ouvertes.fr/hal-03555517
Submitted on : Thursday, February 3, 2022-4:27:02 PM
Last modification on : Friday, February 4, 2022-4:16:45 AM
Cite
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⟩
4
View
0
Download