Formal domain Engineering : From Specification to Validation.

par Atif Mashkoor

Thèse de doctorat en Informatique

Sous la direction de Jeanine Souquieres et de Jean-pierre Jacquot.

Thèses en préparation à l'Université de Lorraine , dans le cadre de Informatique, Automatique, Electronique-Electrotechnique, Mathématiques , en partenariat avec Laboratoire lorrain de Recherche en Informatique et ses Applications (equipe de recherche) et de UNIVERSITE DE LORRAINE (Etablissement d'accueil) depuis le 03-05-2007 .


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


  • Pas de résumé disponible.