Publications

Publications de Bruel Jean-Michel

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 Rédaction de numéros spéciaux de revues Rédaction d’actes de conférences et de workshops Contributions à des ouvrages de synthèse 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

Départements
Type de publication
Critères





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