Towards Verified Faithful Simulation

Type de document :
Communication dans un congrès
Springer Verlag. Dependable Software Engineering: Theories, Tools, and Applications, Nov 2015, Nanjing, China
Liste complète des métadonnées

https://hal.inria.fr/hal-01242963
Contributeur : Jean-Pierre Talpin <>
Soumis le : lundi 14 décembre 2015 - 13:21:10
Dernière modification le : mercredi 10 octobre 2018 - 14:28:07

Identifiants

  • HAL Id : hal-01242963, version 1

Citation

Vania Joloboff, Jean-François Monin, Xiaomu Shi. Towards Verified Faithful Simulation. Springer Verlag. Dependable Software Engineering: Theories, Tools, and Applications, Nov 2015, Nanjing, China. 〈hal-01242963〉

Partager

Métriques

Consultations de la notice

298