Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-01242963
Contributor : Jean-Pierre Talpin Connect in order to contact the contributor
Submitted on : Monday, December 14, 2015 - 1:21:10 PM
Last modification on : Wednesday, February 2, 2022 - 3:50:39 PM

Identifiers

  • HAL Id : hal-01242963, version 1

Collections

CIRAD | INSTITUT-TELECOM | UNIV-RENNES1 | UGA | CNRS | INRIA | INSA-RENNES | INRA | IRISA | LIAMA | CENTRALESUPELEC | IRISA-D4 | INRIA2 | UR1-MATH-STIC | UR1-UFR-ISTIC | UNIV-RENNES | INRAE | UR1-MATH-NUM

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

167

 

Contact                    Legal Notice                    Personal Data