Return to search

ACTC - une algèbre de processus temporisée pour la spécification et vérification d'interfaces matérielles

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/30784
Date January 2000
CreatorsGandrabur, Simona
ContributorsCerny, Eduard
Source SetsUniversité de Montréal
Detected LanguageFrench
Typeother, autre
Formatapplication/pdf

Page generated in 0.0017 seconds