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 décroissant	Titre Trier par titre en ordre décroissant	Auteur Trier par auteur en ordre décroissant	Directeur par contributeur en ordre décroissant
1997	On conformance testing of systems communicating by Rendezvous	Tan, Qiang-Ming	Bochmann, Gregor V.; Petrenko, Alexandre
1995-11	Un cadre d'application pour interfaces de gestion OSI	Tessier, Jean	Bochmann, Gregor V.; Keller, Rudolf
1997	Implantation du protocole de signalisation ATM en utilisant une spécification SDL	Marcoci, Roxana-Irina	Bochmann, Gregor V.
1997	Développement d'un éditeur graphique pour les suites de tests de protocoles de communication	Soukeur, Abdelouahed	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.
1998	Gestion coopérative de la qualité de service dans les applications multimédias : spécification et simulation	Mekouar, Loubna	Bochmann, Gregor V.
2000	Vers la construction automatique d'un module inconnu dans un système composé	Drissi, Jawad	Bochmann, Gregor V.
1999	Cadre conceptuel pour la composition des objets et la spécification du comportement	Ramazani, Dunia	Bochmann, Gregor V.
2000-01	Conception et implantation d'un système de gestion de réseaux distribué basé WEB avec Java	Ghlamallah, Adel	Bochmann, Gregor V.
2022-07	Stability-aware simplification of curve networks	Neveu, William	Bessmeltsev, Mikhail

Nombre de résultats : 1178