Hochschulschrift
Testing time - time to test? : using formal methods for the timing analysis of digital circuits
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783862474516
- Maße
-
24 cm
- Umfang
-
XII, 184 Seiten
- Sprache
-
Englisch
- Anmerkungen
-
Illustrationen
Albert-Ludwigs-Universität Freiburg, Dissertation, 2013
- Erschienen in
-
Design, test and verification of embedded systems ; Volume 5
- Klassifikation
-
Elektrotechnik, Elektronik
- Schlagwort
-
Digitalschaltung
Testen
Zeitverhalten
Formale Methode
ATPG
Erfüllbarkeitsproblem
Boolesche Formel
- Ereignis
-
Veröffentlichung
- (wo)
-
Uelvesbüll
- (wer)
-
Der Andere Verlag
- (wann)
-
2014
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:22 MEZ
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
- Sauer, Matthias
- Der Andere Verlag
Entstanden
- 2014
Ähnliche Objekte (12)
Neue Wege der Förderung weiblicher Auszubildender durch Erkenntnisse konstruktivistischer Geschlechtersoziologie
Proceedings of freshwater research, Vol. 1.. Upper Volga Expedition 2005 : technical report
Verifying real-time systems
Die Sanktionierung von Unternehmen : eine rechtsvergleichende Untersuchung zum Recht der USA und Deutschlands unter besonderer Berücksichtigung des Kartellrechts
Strukturbildung nahe der Stoßionisationsinstabilität in dotiertem GaAs : Elmsfeuer in Halbleitern
Handlungsorientierung durch Lösungsfokus : eine klinisch-psychologische Interventionsstudie
Calciumsignale in rhythmisch aktiven Motoneuronen der Maus
Die Bedeutung der Verwaltungskultur : eine Kulturanalyse zur Wirtschaftsförderungspolitik in der sächsischen öffentlichen Verwaltung
Harmonisierung des Wehrrechts in Europa : Rechtsvergleich der Wehrrechtssysteme in Deutschland und Spanien
Neusachliche Blicke auf die Rolle der Frau als Verbrecherin : Außenseiter der Gesellschaft
Urteilen im Chemieunterricht : eine empirische Untersuchung über den Einfluss des Chemieunterrichts auf das Urteilen von Lernenden in Alltagsfragen
Gender Mainstreaming : eine frauenpolitische Initiative der EU oder nur ein weiteres Schlagwort? ; ein aktueller Diskussionsbeitrag
Neue Wege der Förderung weiblicher Auszubildender durch Erkenntnisse konstruktivistischer Geschlechtersoziologie
Proceedings of freshwater research, Vol. 1.. Upper Volga Expedition 2005 : technical report
Verifying real-time systems
Die Sanktionierung von Unternehmen : eine rechtsvergleichende Untersuchung zum Recht der USA und Deutschlands unter besonderer Berücksichtigung des Kartellrechts
Strukturbildung nahe der Stoßionisationsinstabilität in dotiertem GaAs : Elmsfeuer in Halbleitern
Handlungsorientierung durch Lösungsfokus : eine klinisch-psychologische Interventionsstudie
Calciumsignale in rhythmisch aktiven Motoneuronen der Maus
Die Bedeutung der Verwaltungskultur : eine Kulturanalyse zur Wirtschaftsförderungspolitik in der sächsischen öffentlichen Verwaltung
Harmonisierung des Wehrrechts in Europa : Rechtsvergleich der Wehrrechtssysteme in Deutschland und Spanien
Neusachliche Blicke auf die Rolle der Frau als Verbrecherin : Außenseiter der Gesellschaft
Urteilen im Chemieunterricht : eine empirische Untersuchung über den Einfluss des Chemieunterrichts auf das Urteilen von Lernenden in Alltagsfragen
Gender Mainstreaming : eine frauenpolitische Initiative der EU oder nur ein weiteres Schlagwort? ; ein aktueller Diskussionsbeitrag
Neue Wege der Förderung weiblicher Auszubildender durch Erkenntnisse konstruktivistischer Geschlechtersoziologie
Proceedings of freshwater research, Vol. 1.. Upper Volga Expedition 2005 : technical report
Verifying real-time systems
Die Sanktionierung von Unternehmen : eine rechtsvergleichende Untersuchung zum Recht der USA und Deutschlands unter besonderer Berücksichtigung des Kartellrechts
Strukturbildung nahe der Stoßionisationsinstabilität in dotiertem GaAs : Elmsfeuer in Halbleitern
Handlungsorientierung durch Lösungsfokus : eine klinisch-psychologische Interventionsstudie
Calciumsignale in rhythmisch aktiven Motoneuronen der Maus
Die Bedeutung der Verwaltungskultur : eine Kulturanalyse zur Wirtschaftsförderungspolitik in der sächsischen öffentlichen Verwaltung
Harmonisierung des Wehrrechts in Europa : Rechtsvergleich der Wehrrechtssysteme in Deutschland und Spanien
Neusachliche Blicke auf die Rolle der Frau als Verbrecherin : Außenseiter der Gesellschaft
Urteilen im Chemieunterricht : eine empirische Untersuchung über den Einfluss des Chemieunterrichts auf das Urteilen von Lernenden in Alltagsfragen