Conference Papers
Year :
MAAMAR EL AMINE HAMRI : Connect in order to contact the contributor
https://amu.hal.science/hal-03555517
Submitted on : Thursday, February 3, 2022-4:27:02 PM
Last modification on : Friday, March 24, 2023-2:53:25 PM
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