Filter your results
- 2
- 2
- 4
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 4
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation2021 IEEE Intelligent Vehicles Symposium (IV), Jul 2021, Nagoya, Japan. pp.215-222, ⟨10.1109/IV48863.2021.9575528⟩
Conference papers
hal-03540190v1
|
|||
|
Autonomous Driving System : Model Based Safety Analysis2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Jun 2018, Luxembourg city, Luxembourg. ⟨10.1109/DSN-W.2018.00012⟩
Conference papers
hal-01906465v1
|
||
Validations par Virtualisation et Simulation : de nouveaux champs méthodologiques et techniques pour une ingénierie de conception sûre des systèmes autonomesLambda Mu 21, Congrès de maîtrise des risques et de sûreté de fonctionnement, Oct 2018, Reims, France
Conference papers
hal-01907608v1
|
|||
|
Modélisation comportementale et sémantique pour la sûreté de fonctionnement des systèmes autonomes critiquesCongrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès) - 22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2020, Le Havre (e-congrès), France
Conference papers
hal-03453613v1
|