Zobrazeno 1 - 2
of 2
pro vyhledávání: '"vérification de contrôle"'
Autor:
Michel, Thierry
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
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00343488
http://tel.archives-ouvertes.fr/docs/00/34/34/88/PDF/Michel.Thierry_1993_these.pdf
http://tel.archives-ouvertes.fr/docs/00/34/34/88/PDF/Michel.Thierry_1993_these.pdf
Autor:
Michel, Thierry
Publikováno v:
Modélisation et simulation. Institut National Polytechnique de Grenoble-INPG, 1993. Français
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c6053e5e1e2856b8144d063a2f36cbcc
https://theses.hal.science/tel-00343488
https://theses.hal.science/tel-00343488