Repérage par Directeur de mémoire/thèseAller à 2012 Nombre de documents archivés : 1. 2012Dahmoune, Ouiza (2012). La vérification automatique basée sur un modèle mathématique de réalisation pshysiques de circuits numériques. Thèse. Québec, Université du Québec, Institut national de la recherche scientifique, Doctorat en télécommunications, 208 p. |