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)
![Studien zur Darstellung und Funktion "wilder Natur" in deutschen Minnedarstellungen des 15. [fünfzehnten] Jahrhunderts](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
Studien zur Darstellung und Funktion "wilder Natur" in deutschen Minnedarstellungen des 15. [fünfzehnten] Jahrhunderts
Veränderungen der sympatho-vagalen Balance am Herz-Kreislaufsystem durch verschiedene koronarprotektive Medikamente : eine Untersuchung mit Hilfe der Spektralanalyse der Herzfrequenz- und Blutdruckvariabilität
Algorithmen für das Maximal-Fluss-Problem mit einer linearen Nebenbedingung
Christoph Freiherr von Aretin
Numerische und experimentelle Optimierung eines Gasturbinenansaugsystems
1,3-Bis-(trimethylsilyl)cyclopentadienyldicarbonylrutheniumhydrid als Edukt in der Organometall- und Phosphorchemie
Die Hallux-valgus-Deformität und ihre Behandlung mit der Austin-Osteotomie : Ergebnisse einer klinischen Nachuntersuchung
1970-1979 - Glam-Rock, Disco und Pop
Deep water seismic bright spot reflections in the southern Canary Basin
Quantitative Untersuchungen an frühen und späten koronarsklerotischen Herden im Hinblick auf die Entstehung von Polsternekrosen
Die thrombozytären Rezeptorpolymorphismen GPIIIa T1565C (HPA-1) und GPIa C807T und das Risiko eines vorzeitigen Myokardinfarkts : ein Modell zur Differenzierung von Risikofaktoren der Thrombogenität und Risikofaktoren der Arteriosklerose
Entwicklung einer Methode zur zeit- und spektralaufgelösten Präzisionsdistanzmikroskopie auf Einzelmolekülebene
Studien zur Darstellung und Funktion "wilder Natur" in deutschen Minnedarstellungen des 15. [fünfzehnten] Jahrhunderts
Veränderungen der sympatho-vagalen Balance am Herz-Kreislaufsystem durch verschiedene koronarprotektive Medikamente : eine Untersuchung mit Hilfe der Spektralanalyse der Herzfrequenz- und Blutdruckvariabilität
Algorithmen für das Maximal-Fluss-Problem mit einer linearen Nebenbedingung
Christoph Freiherr von Aretin
Numerische und experimentelle Optimierung eines Gasturbinenansaugsystems
1,3-Bis-(trimethylsilyl)cyclopentadienyldicarbonylrutheniumhydrid als Edukt in der Organometall- und Phosphorchemie
Die Hallux-valgus-Deformität und ihre Behandlung mit der Austin-Osteotomie : Ergebnisse einer klinischen Nachuntersuchung
1970-1979 - Glam-Rock, Disco und Pop
Deep water seismic bright spot reflections in the southern Canary Basin
Quantitative Untersuchungen an frühen und späten koronarsklerotischen Herden im Hinblick auf die Entstehung von Polsternekrosen
Die thrombozytären Rezeptorpolymorphismen GPIIIa T1565C (HPA-1) und GPIa C807T und das Risiko eines vorzeitigen Myokardinfarkts : ein Modell zur Differenzierung von Risikofaktoren der Thrombogenität und Risikofaktoren der Arteriosklerose
Entwicklung einer Methode zur zeit- und spektralaufgelösten Präzisionsdistanzmikroskopie auf Einzelmolekülebene
Studien zur Darstellung und Funktion "wilder Natur" in deutschen Minnedarstellungen des 15. [fünfzehnten] Jahrhunderts
Veränderungen der sympatho-vagalen Balance am Herz-Kreislaufsystem durch verschiedene koronarprotektive Medikamente : eine Untersuchung mit Hilfe der Spektralanalyse der Herzfrequenz- und Blutdruckvariabilität
Algorithmen für das Maximal-Fluss-Problem mit einer linearen Nebenbedingung
Christoph Freiherr von Aretin
Numerische und experimentelle Optimierung eines Gasturbinenansaugsystems
1,3-Bis-(trimethylsilyl)cyclopentadienyldicarbonylrutheniumhydrid als Edukt in der Organometall- und Phosphorchemie
Die Hallux-valgus-Deformität und ihre Behandlung mit der Austin-Osteotomie : Ergebnisse einer klinischen Nachuntersuchung
1970-1979 - Glam-Rock, Disco und Pop
Deep water seismic bright spot reflections in the southern Canary Basin
Quantitative Untersuchungen an frühen und späten koronarsklerotischen Herden im Hinblick auf die Entstehung von Polsternekrosen
Die thrombozytären Rezeptorpolymorphismen GPIIIa T1565C (HPA-1) und GPIa C807T und das Risiko eines vorzeitigen Myokardinfarkts : ein Modell zur Differenzierung von Risikofaktoren der Thrombogenität und Risikofaktoren der Arteriosklerose