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
1991	Vérification de spécifications en langage de haut niveau par une approche basée sur les réseaux de Petri	Barbeau, Michel	Bochmann, Gregor V.
1994	Traduction d'un sous-ensemble de SDL en Estelle	Thiboutôt, Alain	Bochmann, Gregor V.
1997	Routage inter-domaines dans les réseaux ATM	Ould Ahmed Ould Bah, Brahim	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.
1994	Développement d'un environnement pour le langage Mondel en utilisant l'outil CENTAUR	Drissi, Jawad	Bochmann, Gregor V.
1997	Implantation du protocole de signalisation ATM en utilisant une spécification SDL	Marcoci, Roxana-Irina	Bochmann, Gregor V.
1993	Interconnexion des réseaux assurant le service de communication personnalisé	Dargham, Joumana B.	Bochmann, Gregor V.; Das, Anindya
1992	Modification dynamique des spécifications dans un environnement orienté-objets	Erradi, Mohammed	Bochmann, Gregor V.; Dssouli, Rachida
1993	Développement d'un environnement de test et de diagnostique	Salvail, Pierre	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

Nombre de résultats : 1659