Search - Télécom Paris Access content directly

Filter your results

2 Results
authFullName_s : Dominique Legros

Modélisation formelle pour l’ingénierie système

Sophie Coudert , Dominique Legros
Revue REE (Selection Journées scientifiques URSI 2017), 2017
Journal articles hal-02287828v1

Formal Methods for Safe Design and Verification of Transportation Systems

Lilia Belabed , Tullio Tanzi , Sophie Coudert , Dominique Legros
1st Summer School Human Factors Aspects of Cooperative Systems Design, Jul 2017, Sophia Antipolis, France
Conference papers hal-02412315v1