Hochschulschrift
Complete formal hardware verification of interfaces for a FlexRay-like bus
- Weitere Titel
-
Komplette formale Hardware-Verifikation einer FlexRay-ähnlichen Bus-Schnittstelle
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Universität des Saarlandes, Diss., 2011
- Klassifikation
-
Informatik
- Schlagwort
-
FlexRay ; Hardwareentwurf ; Zeitgesteuertes System
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Saarländische Universitäts- und Landesbibliothek
- (wann)
-
2011
- Urheber
- Beteiligte Personen und Organisationen
-
Paul, Wolfgang J.
- URN
-
urn:nbn:de:bsz:291-scidok-44510
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:42 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
- Müller, Christian
- Paul, Wolfgang J.
- Saarländische Universitäts- und Landesbibliothek
Entstanden
- 2011
Ähnliche Objekte (12)
Christoph Freiherr von Aretin
Porträt des Justus Christian von Loder
1,3-Bis-(trimethylsilyl)cyclopentadienyldicarbonylrutheniumhydrid als Edukt in der Organometall- und Phosphorchemie
Bildnis des Christian Müller
Albert Schweitzers Weltanschauungsphilosophie und Ethik der Ehrfurcht vor dem Leben
Zeitaufgelöste Fluoreszenzspektroskopie unimolekularer Reaktionen im Überschalldüsenstrahl : trans-cis-Photoisomerisierung, Phenylringtorsion, intramolekularer Wasserstoffatomtransfer
Bildnis des Christian Müller
Algorithmen für das Maximal-Fluss-Problem mit einer linearen Nebenbedingung
Gottes Gerechtigkeit und Gottes Volk : Eine Unters. zu Römer 9-11
Studien zur Darstellung und Funktion "wilder Natur" in deutschen Minnedarstellungen des 15. [fünfzehnten] Jahrhunderts
Strömungsanalyse der Vorhangbeschichtung
Entwicklung einer Methode zur zeit- und spektralaufgelösten Präzisionsdistanzmikroskopie auf Einzelmolekülebene
Christoph Freiherr von Aretin
Porträt des Justus Christian von Loder
1,3-Bis-(trimethylsilyl)cyclopentadienyldicarbonylrutheniumhydrid als Edukt in der Organometall- und Phosphorchemie
Bildnis des Christian Müller
Albert Schweitzers Weltanschauungsphilosophie und Ethik der Ehrfurcht vor dem Leben
Zeitaufgelöste Fluoreszenzspektroskopie unimolekularer Reaktionen im Überschalldüsenstrahl : trans-cis-Photoisomerisierung, Phenylringtorsion, intramolekularer Wasserstoffatomtransfer
Bildnis des Christian Müller
Algorithmen für das Maximal-Fluss-Problem mit einer linearen Nebenbedingung
Gottes Gerechtigkeit und Gottes Volk : Eine Unters. zu Römer 9-11
Studien zur Darstellung und Funktion "wilder Natur" in deutschen Minnedarstellungen des 15. [fünfzehnten] Jahrhunderts
Strömungsanalyse der Vorhangbeschichtung
Entwicklung einer Methode zur zeit- und spektralaufgelösten Präzisionsdistanzmikroskopie auf Einzelmolekülebene
Christoph Freiherr von Aretin
Porträt des Justus Christian von Loder
1,3-Bis-(trimethylsilyl)cyclopentadienyldicarbonylrutheniumhydrid als Edukt in der Organometall- und Phosphorchemie
Bildnis des Christian Müller
Albert Schweitzers Weltanschauungsphilosophie und Ethik der Ehrfurcht vor dem Leben
Zeitaufgelöste Fluoreszenzspektroskopie unimolekularer Reaktionen im Überschalldüsenstrahl : trans-cis-Photoisomerisierung, Phenylringtorsion, intramolekularer Wasserstoffatomtransfer
Bildnis des Christian Müller
Algorithmen für das Maximal-Fluss-Problem mit einer linearen Nebenbedingung
Gottes Gerechtigkeit und Gottes Volk : Eine Unters. zu Römer 9-11
Studien zur Darstellung und Funktion "wilder Natur" in deutschen Minnedarstellungen des 15. [fünfzehnten] Jahrhunderts
Strömungsanalyse der Vorhangbeschichtung