Publications

Publications de Jean-Michel BRUEL

Articles dans une revue
Communications dans un congrès
Directions d’ouvrage, proceedings, dossiers
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

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par