logo EDITE Robert ABO
Identité
Robert ABO
État académique
Thèse soutenue le 2012-12-06
Sujet: Vérification formelle de systèmes mobiles
Direction de thèse:
Laboratoire:
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Soutenance
Thèse: Vérification formelle de systèmes mobiles
Soutenance: 2012-12-06