Publications

Recherche de publications

Départements
Type de publication
Critères





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

Publications de Jean-MichelBruel

Rédaction de numéros spéciaux de revues Rédaction d’actes de conférences et de workshops Articles dans des revues internationales Articles dans des revues nationales Contributions à des ouvrages de synthèse 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
  • Jean-Michel Bruel

    FuZE : un environnement intégré pour l’analyse formelle de logiciels distribués temps réel

    Thèse de doctorat, Université Paul Sabatier, décembre 1996.

    BibTeX

Autres types de publications