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

Description

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Links & Downloads

1. http://hdl.handle.net/1866/16720

Tags

Systèmes électroniques

Vérification de modèle

Vérification semi-formelle

Vérification basée sur les assertions

Logique temporelle linéaire

Additional Fields

Identifer	oai:union.ndltd.org:umontreal.ca/oai:papyrus.bib.umontreal.ca:1866/16720
Date	January 2006
Creators	Metzger, Michel
Contributors	Aboulhamid, El Mostapha, Vachon, Julie
Source Sets	Université de Montréal
Language	French
Detected Language	French
Type	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation