Publications

Publications de Xavier THIRIOUX

Articles dans des revues internationales Articles dans des revues nationales Conférences et workshops internationaux avec actes édités et comité de lecture Conférences et workshops nationaux avec actes édités et comité de lecture Conférences sans actes publiés Rapports Thèses et habilitations
  • Xavier Thirioux

    Verifying Embedded Systems

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

    BibTeX

  • 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
et
Ordre chronologique (année) Décroissant Croissant