Emmanuel Arbaretier, Linda Zhao, Mohamed Tlig. Validations par Virtualisation et Simulation : de nouveaux champs méthodologiques et techniques pour une ingénierie de conception sûre des systèmes autonomes.
Lambda Mu 21, Congrès de maîtrise des risques et de sûreté de fonctionnement, Oct 2018, Reims, France.
⟨hal-01907608⟩