Méthodologie de conception d'un modèle comportemental pour la vérification formelle

Thèse ou Mémoire numérique / Electronic Thesis or Dissertation
Thumbnail
2006 (degree granted: 2007)
Author(s)
Advisor(s)
Level
Maîtrise / Master's
Discipline
Informatique
Keywords
Note(s)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
Collections