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	Synthèse de spécifications de protocole à partir de spécifications de service	Antonescu, Christian Kant	Bochmann, Gregor V.
1994	Développement d'un environnement pour le langage Mondel en utilisant l'outil CENTAUR	Drissi, Jawad	Bochmann, Gregor V.
1995	Construction incrémentielle de spécifications pour systèmes distribués	Khendek, Ferhat	Bochmann, Gregor V.
1998	Développement de tests à partir d'une spécification formelle en SDL : le protocole de signalisation ATM/PNNI	Maguiraga, Saoudatou	Bochmann, Gregor V.
1997	Développement d'un éditeur graphique pour les suites de tests de protocoles de communication	Soukeur, Abdelouahed	Bochmann, Gregor V.
1994	Traduction d'un sous-ensemble de SDL en Estelle	Thiboutôt, Alain	Bochmann, Gregor V.
1993	Interconnexion des réseaux assurant le service de communication personnalisé	Dargham, Joumana B.	Bochmann, Gregor V.; Das, Anindya
1994	Spécification formelle et test pour boîte à outils X.25	Zamoum, Rachid	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
1992	Sélection de tests pour les protocoles de communication	Dubuc, Martin	Bochmann, Gregor V.; Dssouli, Rachida

Nombre de résultats : 1661