Modélisation et analyse formelle de la sûreté de fonctionnement de convoi de véhicules
FR
Auteur / Autrice : | Mohamed Garoui |
Direction : | Abderrafiâa Koukam, Béchir Ayeb |
Type : | Projet de thèse |
Discipline(s) : | Informatique |
Date : | Inscription en doctorat le 29/04/2015 |
Etablissement(s) : | Bourgogne Franche-Comté en cotutelle avec Université de Manouba |
Ecole(s) doctorale(s) : | École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; 1991-....) |
Partenaire(s) de recherche : | Laboratoire : IRTES. SET |
établissement de préparation : Université de technologie de Belfort-Montbéliard (1999-....) |