CRAN - Campus Sciences
BP 70239 - 54506 VANDOEUVRE Cedex
Tél : +33 (0)3 72 74 52 90 Fax : +33 (0)3 72 74 53 08
cran-secretariat@univ-lorraine.fr
 
 
M. Thomas COCHARD - Doctorant
Sujet de thèse : Génération, vérification formelle et simulation de séquences de conduite pour un système complexe critique
Département
Ingénierie des Systèmes Eco-Techniques
Etablissement :
+33 (0)3 72 74 53 14
+33 (0)3 72 74 53 28
thomas.cochard@univ-lorraine.fr
Recherche : Campus sciences - 1er cycle