A Method for Improving the Verification and Validation of Systems by the Combined Use of Simulation and Formal Methods - Archive ouverte HAL Access content directly
Conference Papers Year :

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

, (1, 2) ,
1
2
Not file

Dates and versions

hal-03555517 , version 1 (03-02-2022)

Identifiers

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More