- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783862475223
- Dimensions
-
24 cm
- Extent
-
xi, 245 Seiten
- Language
-
Englisch
- Notes
-
Illustrationen
Albert-Ludwigs-Universität Freiburg im Breisgau, Dissertation, 2014
- Bibliographic citation
-
Design, test and verification of embedded systems ; volume 7
- Keyword
-
Echtzeitsystem
Verteiltes System
Model Checking
Zeitbehafteter Automat
Temporale Logik
Systementwurf
Verifikation
- Event
-
Veröffentlichung
- (where)
-
Uelvesbüll
- (who)
-
Der Andere Verlag
- (when)
-
2015
- 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.03.2025, 12:00 PM CET
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
- Morbé, Georges
- Der Andere Verlag GmbH
- Der Andere Verlag
Time of origin
- 2015
Other Objects (12)
Neue Wege der Förderung weiblicher Auszubildender durch Erkenntnisse konstruktivistischer Geschlechtersoziologie
Proceedings of freshwater research, Vol. 1.. Upper Volga Expedition 2005 : technical report
Testing time - time to test? : using formal methods for the timing analysis of digital circuits
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
Testing time - time to test? : using formal methods for the timing analysis of digital circuits
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
Testing time - time to test? : using formal methods for the timing analysis of digital circuits
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