Maha BOUSABBAH - Admise au titre de docteur

Doctorat Informatique

Thèse soutenue le 8 décembre 2017 - Université de Bordeaux

Ecole doctorale : Mathématiques et Informatique

Sujet : Preuves d'Algorithmes Distribués par Composition et Raffinement

Mots-clés de la thèse : Raffinement,Algorithmes Distribués,Calculs Locaux,Composition,Event-B,

Direction de thèse : Mohamed MOSBAH

Co-direction de thèse : Ahmed HADJ KACEM

Cotutelle Université de Sfax TUNISIE

Unité de recherche : LaBRI - Laboratoire Bordelais de Recherche en Informatique UMR 5800 - Talence
Intitulé de l'équipe : Combinatoire et algorithmiques
Langues Vivantes : Anglais C1 - Avancé - Français C1 - Avancé - Arabe C2 - Maternel

Dernière mise à jour le 27 octobre 2017