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
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den 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
Ähnliche Objekte (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