Hochschulschrift
Specification and verification of the embedded real-time systems in the automotive domain : = Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen
- Weitere Titel
-
Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783869559667
- Maße
-
21 cm
- Umfang
-
IX, 162 S.
- Ausgabe
-
1. Aufl.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Erlangen-Nürnberg, Techn. Univ., Diss., 2011
- Erschienen in
-
Audi-Dissertationsreihe ; Bd. 52
- Schlagwort
-
Kraftfahrzeugelektronik
Eingebettetes System
Echtzeitsystem
Modellbasiertes Testen
Softwaretest
Zuverlässigkeit
- Ereignis
-
Veröffentlichung
- (wo)
-
Göttingen
- (wer)
-
Cuvillier
- (wann)
-
2011
- Urheber
-
Siegl, Sebastian
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 11: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
- Siegl, Sebastian
- Cuvillier
Entstanden
- 2011
Ähnliche Objekte (12)
Self-Verification - Verification of Embedded Systems after Deployment
Automotive Cybersecurity : Security-Bausteine für Automotive Embedded Systeme
Linux auf eingebetteten Systemen : Linux and embedded systems
Zuverlässigkeit von automotive embedded Systems
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Optimized hybrid verification of embedded software
Dynamische Rekonfigurationsmethodik für zuverlässige, echtzeitfähige Eingebettete Systeme in Automotive
Verification of temporal properties in embedded software
Embedded systems: design, analysis and verification : proceedings
Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich
Verification of business rules programs : = Verifikation von Geschäftsregel-Programmen
Self-Verification - Verification of Embedded Systems after Deployment
Automotive Cybersecurity : Security-Bausteine für Automotive Embedded Systeme
Linux auf eingebetteten Systemen : Linux and embedded systems
Zuverlässigkeit von automotive embedded Systems
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Optimized hybrid verification of embedded software
Dynamische Rekonfigurationsmethodik für zuverlässige, echtzeitfähige Eingebettete Systeme in Automotive
Verification of temporal properties in embedded software
Embedded systems: design, analysis and verification : proceedings
Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich
Verification of business rules programs : = Verifikation von Geschäftsregel-Programmen
Self-Verification - Verification of Embedded Systems after Deployment
Automotive Cybersecurity : Security-Bausteine für Automotive Embedded Systeme
Linux auf eingebetteten Systemen : Linux and embedded systems
Zuverlässigkeit von automotive embedded Systems
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Optimized hybrid verification of embedded software
Dynamische Rekonfigurationsmethodik für zuverlässige, echtzeitfähige Eingebettete Systeme in Automotive
Verification of temporal properties in embedded software
Embedded systems: design, analysis and verification : proceedings
Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich