- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783862475223
- Maße
-
24 cm
- Umfang
-
xi, 245 Seiten
- Sprache
-
Englisch
- Anmerkungen
-
Illustrationen
Albert-Ludwigs-Universität Freiburg im Breisgau, Dissertation, 2014
- Erschienen in
-
Design, test and verification of embedded systems ; volume 7
- Schlagwort
-
Echtzeitsystem
Verteiltes System
Model Checking
Zeitbehafteter Automat
Temporale Logik
Systementwurf
Verifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Uelvesbüll
- (wer)
-
Der Andere Verlag
- (wann)
-
2015
- 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.03.2025, 12:00 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
- Morbé, Georges
- Der Andere Verlag GmbH
- Der Andere Verlag
Entstanden
- 2015
Ä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
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