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

Aznam Yacoub; Maamar  El Amine Hamri; Claudia Frydman

doi:10.1109/DS-RT.2014.27

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

Aznam Yacoub

Function : Author

Maamar El Amine Hamri

Function : Author
PersonId : 1036804

Modèles et Formalismes à Evénements Discrets

Laboratoire d'Informatique et Systèmes

Claudia Frydman

Function : Author

Domains

Computer Science [cs] Modeling and Simulation

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

Dates and versions

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

Identifiers

HAL Id : hal-03555517 , version 1
DOI : 10.1109/DS-RT.2014.27

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-TLN CNRS UNIV-AMU TDS-MACS LIS-LAB INCIAM

4 View

0 Download

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share