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

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