La vitrine de diffusion des mémoires et thèses de l'ÉTS
RECHERCHER

Repérage par Directeur de mémoire/thèse

Monter d'un niveau
Exporter comme [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Nombre de documents archivés : 5.

Robati, Tiyam (2016). Model-based techniques for the future integration for formal verification of critical real-time software systems. Thèse de doctorat électronique, Montréal, École de technologie supérieure.

Turenne, Maxime (2015). A new domain specific language for generating and validating middleware configurations for highly available applications. Mémoire de maîtrise électronique, Montréal, École de technologie supérieure.

Slaimia, Tarek (2015). Détection des rootkits niveau noyau basée sur LTTng. Mémoire de maîtrise électronique, Montréal, École de technologie supérieure.

Abidi, Dhafer (2015). Étude et simulation du protocole TTEthernet sur un sous-système de gestion de vols et adaptation de la planification des tâches à des fins de simulation. Mémoire de maîtrise électronique, Montréal, École de technologie supérieure.

Barkallah, Soumaya (2012). Conception d’un profil UML spécifique à la méthode COSMIC - ISO 19761 pour supporter la mesure de la taille fonctionnelle des logiciels. Mémoire de maîtrise électronique, Montréal, École de technologie supérieure.

Cette liste a été générée le Mon Apr 23 01:35:50 2018 EDT.