Université de Montréal / Faculté des arts et des sciences Département d'informatique et de recherche opérationnelle

Je donne

Thèses et mémoires

Des thèses et mémoires de nos étudiants sont conservés et consultables dans Papyrus, le dépôt institutionnel de l'Université de Montréal.

For a detailed search
Visit Papyrus

Date Sort by date in descending order	Title Sort by title in descending order	Author Sort by author in descending order	Contributor by contributor in descending order
1993	Développement d'un environnement de test et de diagnostique	Salvail, Pierre	Bochmann, Gregor V.; Dssouli, Rachida
1996	Formal method for the design of real-time communicating subsystems and controllers	Tao, Zhongpīng	Bochmann, Gregor V.; Dssouli, Rachida
1993	Évaluation du flux de données couvert par une suite de tests	Caouette, Clémence	Bochmann, Gregor V.; Dssouli, Rachida
1993	Génération de tests pour le service de communication personnalisé	Htite, El Houssain	Bochmann, Gregor V.; Dssouli, Rachida
1992	Diagnostic tests for protocol implementations modeled by finite state machines	Ghedamsi, Abderrazak ben Naceur	Bochmann, Gregor V.; Dssouli, Rachida
1993	Étude de traduction entre les langages de spécification SDL et VHDL	Amoussou, Marie Clémence	Bochmann, Gregor V.; Dssouli, Rachida
1992	Modification dynamique des spécifications dans un environnement orienté-objets	Erradi, Mohammed	Bochmann, Gregor V.; Dssouli, Rachida
1993	Interconnexion des réseaux assurant le service de communication personnalisé	Dargham, Joumana B.	Bochmann, Gregor V.; Das, Anindya
1995	Des tests de conformité du protocole AAL de type 5 pour les réseaux à haut débit	Khriss, Ismail	Bochmann, Gregor V.
1997	Routage inter-domaines dans les réseaux ATM	Ould Ahmed Ould Bah, Brahim	Bochmann, Gregor V.

Number of results : 1664