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)


  • HAL Id : hal-01242963 , version 1


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


Gmail Mastodon Facebook X LinkedIn More