ENGLISH
La vitrine de diffusion des publications et contributions des chercheurs de l'ÉTS
RECHERCHER

Assertion-checker synthesis for hardware verification, in-circuit debugging and on-line monitoring

Boulé, Marc. 2008. « Assertion-checker synthesis for hardware verification, in-circuit debugging and on-line monitoring ». Thèse de doctorat. Montréal, McGill, 238 p.

Le plein texte de ce document n'est pas hébergé sur ce serveur.
Rechercher dans Google Scholar
Type de document: Mémoire ou thèse (Thèse de doctorat)
Professeur:
Professeur
Boulé, Marc
Affiliation: Autres
Date de dépôt: 14 oct. 2022 20:37
Dernière modification: 14 oct. 2022 20:37
URI: https://espace2.etsmtl.ca/id/eprint/25632

Actions (Authentification requise)

Dernière vérification avant le dépôt Dernière vérification avant le dépôt