Modélisation et analyse formelle de la sûreté de fonctionnement de convoi de véhicules

par Mohamed Garoui

Projet de thèse en Informatique

Sous la direction de Abderrafiâa Koukam et de Béchir Ayeb.

Thèses en préparation à Bourgogne Franche-Comté en cotutelle avec l'Université de Manouba , dans le cadre de École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) , en partenariat avec IRTES. SET (laboratoire) et de Université de technologie de Belfort-Montbéliard (établissement de préparation) depuis le 29-04-2015 .

Pas de résumé en français disponible.

Pas de résumé disponible.