Towards Verified Faithful Simulation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015
No file

Dates and versions

hal-01242963 , version 1 (14-12-2015)

Identifiers

  • HAL Id : hal-01242963 , version 1

Cite

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⟩
178 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More