Publications

Publications de Xavier THIRIOUX

Articles dans une revue
Communications dans un congrès
HDR
  • Xavier Thirioux

    Verifying Embedded Systems

    Habilitation à diriger des recherches, Institut National Polytechnique de Toulouse, septembre 2016.

    BibTeX

Thèses
  • Xavier Thirioux

    Vérification de propriétés temporelles de systèmes réactifs répartis

    Thèse de doctorat, Institut National Polytechnique de Toulouse, novembre 1999.

    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par