logo EDITE Hakim BELHAOUARI
Identité
Hakim BELHAOUARI
État académique
Thèse soutenue le 2010-03-30
Sujet: UNE APPROCHE INTEGREE POUR LA CONCEPTION PAR CONTRAT: VERIFICATION STATIQUE/DYNAMIQUE ET GENERATION AUTOMATIQUE DE TEST
Direction de thèse:
Encadrement 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: UNE APPROCHE INTEGREE POUR LA CONCEPTION PAR CONTRAT: VERIFICATION STATIQUE/DYNAMIQUE ET GENERATION AUTOMATIQUE DE TEST
Soutenance: 2010-03-30