Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Hong-Viet Luong

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Articles de revues internationales / International journal papers

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Hong-Viet Luong. Construction incrémentale de spécifications de systèmes critiques intégrant des procédures de vérification. Thèse de doctorat, Université Paul Sabatier, octobre 2010.
    BibTeX