Communication Dans Un Congrès
Année : 2015
Jean-Pierre Talpin : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01242963
Soumis le : lundi 14 décembre 2015-13:21:10
Dernière modification le : mardi 27 août 2024-12:46:22
Dates et versions
Identifiants
- HAL Id : hal-01242963 , version 1
Citer
Vania Joloboff, Jean-François Monin, Xiaomu Shi. Towards Verified Faithful Simulation. Dependable Software Engineering: Theories, Tools, and Applications, Nov 2015, Nanjing, China. ⟨hal-01242963⟩
Collections
178
Consultations
0
Téléchargements