Méthodologie de conception d'un modèle comportemental pour la vérification formelle

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