Filter your results
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
|
|
sorted by
|
Modélisation formelle pour l’ingénierie systèmeRevue REE (Selection Journées scientifiques URSI 2017), 2017
Journal articles
hal-02287828v1
|
|||
Formal Methods for Safe Design and Verification of Transportation Systems1st Summer School Human Factors Aspects of Cooperative Systems Design, Jul 2017, Sophia Antipolis, France
Conference papers
hal-02412315v1
|