Return to search

Génération automatique de cas de test pour les systèmes modélisés par des machines à états finis communicantes

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/30757
Date January 1999
CreatorsBourhfir, Chourouk
ContributorsAboulhamid, El Mostapha, Dssouli, Rachida
Source SetsUniversité de Montréal
Detected LanguageFrench
Typeother, autre
Formatapplication/pdf

Page generated in 0.0022 seconds