|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
hal-01241837v1
Chapitre d'ouvrage
Vania Joloboff, Jean-François Monin, Xiaomu Shi. Towards Verified Faithful SimulationXuandong Li, Zhiming Liu, Wang Yi. Dependable Software Engineering: Theories, Tools, and Applications, Springer, pp.315, 2015, Lecture Notes in Computer Science, ISBN 978-3-319-25942-0. <10.1007/978-3-319-25942-0>
|
|
|
|
|
|
|
|
|
|
|
|
|