Test en ligne des systèmes à base de microprocesseur
Cette thèse traite de la vérification en ligne, par des moyens matériels, du flot de contrôle d'un système a base de microprocesseur. Une technique de compaction est utilisée pour faciliter cette vérification (analyse de signature). La plupart des méthodes proposées jusqu'ici imposent une...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1993
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00343488 http://tel.archives-ouvertes.fr/docs/00/34/34/88/PDF/Michel.Thierry_1993_these.pdf |