Filter your results
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
2 Results
|
|
sorted by
|
|
Statistical Model-Checking for Autonomous Vehicle Safety ValidationConference SIA Simulation Numérique, Société des Ingénieurs de l'Automobile, Mar 2017, Montigny-le-Bretonneux, France
Conference papers
hal-01491064v1
|
||
|
Integrating Simulink Models into the Model Checker Cosmos39th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. pp.363-373, ⟨10.1007/978-3-319-91268-4_19⟩
Conference papers
hal-01916467v1
|