Towards Verified Faithful Simulation

Dependable Software Engineering: Theories, Tools, and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25942-0_7 ◽

2015 ◽

pp. 105-119 ◽

Author(s):

Vania Joloboff ◽

Jean-François Monin ◽

Xiaomu Shi

Download Full-text