Return to search

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

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

Identiferoai:union.ndltd.org:umontreal.ca/oai:papyrus.bib.umontreal.ca:1866/17853
Date January 2006
CreatorsBastien, Frédéric
ContributorsAboulhamid, El Mostapha, BOYER, FRANCOIS-R, Vachon, Julie
Source SetsUniversité de Montréal
LanguageFrench
Detected LanguageFrench
TypeThèse ou Mémoire numérique / Electronic Thesis or Dissertation

Page generated in 0.0018 seconds