Un générateur CP pour la vérification temporelle des contrôleurs d'interfaces

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal