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.

Pour une recherche détaillée
Visiter Papyrus

Date Trier par date en ordre croissant	Titre Trier par titre en ordre croissant	Auteur Trier par auteur en ordre croissant	Directeur par contributeur en ordre croissant
1992	Sélection de tests pour les protocoles de communication	Dubuc, Martin	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
1996	Formal method for the design of real-time communicating subsystems and controllers	Tao, Zhongpīng	Bochmann, Gregor V.; Dssouli, Rachida
1994	Intégration des langages ASN. 1 et Mondel : traduction des structures de données ASN. 1 en Mondel à l'aide de l'outil CENTAUR	Zerghouni, Mostafa	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
1994	Spécification formelle et test pour boîte à outils X.25	Zamoum, Rachid	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
1992	Spécification d'un protocole de communication dans un environnement multi-agents, application aux systèmes tutoriels intelligents	Ramazani, Dunia	Bochmann, Gregor V.; Frasson, Claude
1997	Gestion automatique de la reconfiguration dans les réseaux et systèmes ouverts distribués	Dini, Petre	Bochmann, Gregor V.; Frasson, Claude; Boutaba, Raouf
1988	Système informatique réparti pour l'animation de visages réels ou synthétiques synchronisée avec une parole synthétisée	Girard, Paul	Bochmann, Gregor V.; Gecsei, Jan

Nombre de résultats : 1659