Show item record

dc.contributor.advisorAboulhamid, El Mostapha
dc.contributor.advisorVachon, Julie
dc.contributor.authorMetzger, Michel
dc.subjectSystèmes électroniques
dc.subjectVérification de modèle
dc.subjectVérification semi-formelle
dc.subjectVérification basée sur les assertions
dc.subjectLogique temporelle linéaire
dc.titleMécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système
dc.typeThèse ou mémoire / Thesis or Dissertationé de Montréalfrîtrise / Master's Sc.
dcterms.descriptionMémoire numérisé par la Direction des bibliothèques de l'Université de Montré

Files in this item


This item appears in the following Collection(s)

Show item record

This document disseminated on Papyrus is the exclusive property of the copyright holders and is protected by the Copyright Act (R.S.C. 1985, c. C-42). It may be used for fair dealing and non-commercial purposes, for private study or research, criticism and review as provided by law. For any other use, written authorization from the copyright holders is required.