Communication Dans Un Congrès
Année : 2014
MAAMAR EL AMINE HAMRI : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-03555517
Soumis le : jeudi 3 février 2022-16:27:02
Dernière modification le : vendredi 22 mars 2024-18:24:03
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