Filter your results
- 3
- 3
- 3
- 3
- 2
- 1
- 3
- 2
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
|
|
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
|
||
|
Une sémantique formelle pour les modèles SimulinkÉcole d'été Temps Réel 2017, Aug 2017, Paris, France
Conference papers
hal-01578297v1
|
||
|
Towards Semantic-Aware Collaborations in Systems Engineering24th Asia-Pacific Software Engineering Conference (APSEC), Dec 2017, Nanjing, China
Conference papers
hal-01674924v1
|