Document quand l'auteur est "Hobeika, Christelle"Groupement par Type de document | sans groupement Aller à Mémoire ou thèse Nombre de documents archivés : 1. Mémoire ou thèseHobeika, Christelle (2011). Méthodologie de vérification automatique basée sur l'utilisation des tests structurels de transition avec insertion de registres à balayage. Thèse de doctorat électronique, Montréal, École de technologie supérieure. |