Hochschulschrift
Test and diagnosis of embedded processor cores with formal methods
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783862475889
3862475883
- Dimensions
-
24 cm
- Extent
-
xiv, 166 Seiten
- Language
-
Englisch
- Notes
-
Diagramme
Alberts-Ludwigs-Universität Freiburg, Dissertation, 2016
- Bibliographic citation
-
Design, test and verification of embedded systems ; vol. 11
- Keyword
-
Eingebettetes System
Mikroprozessor
Selbsttest
Prüfprogramm
Diagnosesystem
Fehlererkennung
ATPG
Formale Methode
Framework
Benchmark
- Event
-
Veröffentlichung
- (where)
-
Uelvesbüll
- (who)
-
Der Andere Verlag
- (when)
-
2016
- Creator
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:05 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Riefert, Andreas
- Der Andere Verlag GmbH
- Der Andere Verlag
Time of origin
- 2016
Other Objects (12)
Proceedings of freshwater research, Vol. 1.. Upper Volga Expedition 2005 : technical report
Neue Wege der Förderung weiblicher Auszubildender durch Erkenntnisse konstruktivistischer Geschlechtersoziologie
Testing time - time to test? : using formal methods for the timing analysis of digital circuits
Bekannte Unbekannte : formale Methoden in Anwesenheit unbekannter Werte
Untersuchungen zu Grenzflächenwechselwirkungen zwischen reaktiven Polymerschmelzen und aminofunktionalisierten Siliziumoxidoberflächen
Die Prinzipien der Jährlichkeit und Vorherigkeit im kommunalen Haushaltsrecht NW
Anticorruption in public procurement : a qualitative research design
Advanced CMOS-based stress sensing
Die Problematik der Zuordnung von Schuldzinsen im Einkommensteuerrecht
Field effect transistor based CMOS stress sensors
Analyse- und Syntheseverfahren zur automatischen Harmonisierung von Gesang
Untersuchungen zum Nachweis nicht-thermischer Wirkungen hochfrequenter elektromagnetischer Felder an Gliazellen
Proceedings of freshwater research, Vol. 1.. Upper Volga Expedition 2005 : technical report
Neue Wege der Förderung weiblicher Auszubildender durch Erkenntnisse konstruktivistischer Geschlechtersoziologie
Testing time - time to test? : using formal methods for the timing analysis of digital circuits
Bekannte Unbekannte : formale Methoden in Anwesenheit unbekannter Werte
Untersuchungen zu Grenzflächenwechselwirkungen zwischen reaktiven Polymerschmelzen und aminofunktionalisierten Siliziumoxidoberflächen
Die Prinzipien der Jährlichkeit und Vorherigkeit im kommunalen Haushaltsrecht NW
Anticorruption in public procurement : a qualitative research design
Advanced CMOS-based stress sensing
Die Problematik der Zuordnung von Schuldzinsen im Einkommensteuerrecht
Field effect transistor based CMOS stress sensors
Analyse- und Syntheseverfahren zur automatischen Harmonisierung von Gesang
Untersuchungen zum Nachweis nicht-thermischer Wirkungen hochfrequenter elektromagnetischer Felder an Gliazellen
Proceedings of freshwater research, Vol. 1.. Upper Volga Expedition 2005 : technical report
Neue Wege der Förderung weiblicher Auszubildender durch Erkenntnisse konstruktivistischer Geschlechtersoziologie
Testing time - time to test? : using formal methods for the timing analysis of digital circuits
Bekannte Unbekannte : formale Methoden in Anwesenheit unbekannter Werte
Untersuchungen zu Grenzflächenwechselwirkungen zwischen reaktiven Polymerschmelzen und aminofunktionalisierten Siliziumoxidoberflächen
Die Prinzipien der Jährlichkeit und Vorherigkeit im kommunalen Haushaltsrecht NW
Anticorruption in public procurement : a qualitative research design
Advanced CMOS-based stress sensing
Die Problematik der Zuordnung von Schuldzinsen im Einkommensteuerrecht
Field effect transistor based CMOS stress sensors
Analyse- und Syntheseverfahren zur automatischen Harmonisierung von Gesang