Return to search

Génération automatique d'une spécification formelle à partir de scénarios temps-réels

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Identiferoai:union.ndltd.org:umontreal.ca/oai:papyrus.bib.umontreal.ca:1866/30821
Date January 2002
CreatorsSalah, Aziz
ContributorsDssouli, Rachida, Lapalme, Guy
Source SetsUniversité de Montréal
LanguageFrench
Detected LanguageFrench
Typeother, autre
Formatapplication/pdf

Page generated in 0.0025 seconds