Hochschulschrift
Test and diagnosis of embedded processor cores with formal methods
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783862475889
3862475883
- Maße
-
24 cm
- Umfang
-
xiv, 166 Seiten
- Sprache
-
Englisch
- Anmerkungen
-
Diagramme
Alberts-Ludwigs-Universität Freiburg, Dissertation, 2016
- Erschienen in
-
Design, test and verification of embedded systems ; vol. 11
- Schlagwort
-
Eingebettetes System
Mikroprozessor
Selbsttest
Prüfprogramm
Diagnosesystem
Fehlererkennung
ATPG
Formale Methode
Framework
Benchmark
- Ereignis
-
Veröffentlichung
- (wo)
-
Uelvesbüll
- (wer)
-
Der Andere Verlag
- (wann)
-
2016
- Urheber
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:05 MESZ
Datenpartner
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Riefert, Andreas
- Der Andere Verlag GmbH
- Der Andere Verlag
Entstanden
- 2016