Skip to Main content Skip to Navigation
Conference papers

A Method for Improving the Verification and Validation of Systems by the Combined Use of Simulation and Formal Methods

Document type :
Conference papers
Complete list of metadata

https://hal-amu.archives-ouvertes.fr/hal-03555517
Contributor : Maamar El Amine Hamri Connect in order to contact the contributor
Submitted on : Thursday, February 3, 2022 - 4:27:02 PM
Last modification on : Friday, February 4, 2022 - 4:16:45 AM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

3