A Method for Improving the Verification and Validation of Systems by the Combined Use of Simulation and Formal Methods - Aix-Marseille Université Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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

Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
7 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More