Publications

Publications de Jean-Michel BRUEL

Articles dans une revue
Communications dans un congrès
Chapitres d’ouvrage
Thèses
  • 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

Posters
Autres publications
Pré-publication, document de travail

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par