Thèse en cours

Formal domain Engineering : From Specification to Validation.

FR

Accès à la thèse

Triangle exclamation pleinLa soutenance a eu lieu le 12/07/2011. Le document qui a justifié du diplôme est en cours de traitement par l'établissement de soutenance.
Auteur / Autrice : Atif Mashkoor
Direction : Jeanine SouquieresJean-pierre Jacquot
Type : Projet de thèse
Discipline(s) : Informatique
Date : Inscription en doctorat le 03/05/2007
Soutenance le 12/07/2011
Etablissement(s) : Université de Lorraine
Ecole(s) doctorale(s) : Informatique, Automatique, Electronique-Electrotechnique, Mathématiques
Partenaire(s) de recherche : Equipe de recherche : Laboratoire lorrain de Recherche en Informatique et ses Applications
Etablissement d'accueil : UNIVERSITE DE LORRAINE
Jury : Président / Présidente : Patrick Heymans
Examinateurs / Examinatrices : Jean-pierre Jacquot, Maritta Heisel
Rapporteurs / Rapporteuses : Marie-laure Potet, Marc Frappier