Publications

Publications de

Articles dans des revues internationales Thèses et habilitations
  • 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

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par
et
Ordre chronologique (année) Décroissant Croissant