%0 Conference Paper %F Oral %T Validations par Virtualisation et Simulation : de nouveaux champs méthodologiques et techniques pour une ingénierie de conception sûre des systèmes autonomes %+ APSYS [Elancourt] %+ IRT SystemX %A Arbaretier, Emmanuel %A Zhao, Linda %A Tlig, Mohamed %< avec comité de lecture %Z SVA %B Lambda Mu 21, Congrès de maîtrise des risques et de sûreté de fonctionnement %C Reims, France %8 2018-10-16 %D 2018 %Z Computer Science [cs]/Artificial Intelligence [cs.AI] %Z Computer Science [cs]Conference papers %G French %L hal-01907608 %U https://hal.science/hal-01907608 %~ IRT-SYSTEMX %~ IMDR