Towards Verified Faithful Simulation

Vania Joloboff 1 Jean-François Monin 2 Xiaomu Shi 3
1 TEA - Tim, Events and Architectures
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 UJF - Université Joseph Fourier - Grenoble 1
3 LIAMA - Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées
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

Collections

INRA | CIRAD | INRIA | LIAMA | IRISA | UGA | UR1-UFR-ISTIC | CENTRALESUPELEC | UNIV-RENNES

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

298

Contact


archive-ouverte@inria.fr