@inproceedings{arbaretier:hal-01907608, TITLE = {{Validations par Virtualisation et Simulation : de nouveaux champs m{\'e}thodologiques et techniques pour une ing{\'e}nierie de conception s{\^u}re des syst{\`e}mes autonomes}}, AUTHOR = {Arbaretier, Emmanuel and Zhao, Linda and Tlig, Mohamed}, URL = {https://hal.science/hal-01907608}, BOOKTITLE = {{Lambda Mu 21, Congr{\`e}s de ma{\^i}trise des risques et de s{\^u}ret{\'e} de fonctionnement}}, ADDRESS = {Reims, France}, HAL_LOCAL_REFERENCE = {SVA}, YEAR = {2018}, MONTH = Oct, HAL_ID = {hal-01907608}, HAL_VERSION = {v1}, }