Thèse en cours

Modélisation et analyse formelle de la sûreté de fonctionnement de convoi de véhicules
FR
Auteur / Autrice : Mohamed Garoui
Direction : Abderrafiâa KoukamBé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-....)