Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système

Thesis or Dissertation
Thumbnail
2006 (degree granted: 2006)
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
DSpace software [version 5.8 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback
les bibliothèques/UdeM