Hochschulschrift
Specification and verification of the embedded real-time systems in the automotive domain : = Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen
- Alternative title
-
Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783869559667
- Dimensions
-
21 cm
- Extent
-
IX, 162 S.
- Edition
-
1. Aufl.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Erlangen-Nürnberg, Techn. Univ., Diss., 2011
- Bibliographic citation
-
Audi-Dissertationsreihe ; Bd. 52
- Keyword
-
Kraftfahrzeugelektronik
Eingebettetes System
Echtzeitsystem
Modellbasiertes Testen
Softwaretest
Zuverlässigkeit
- Event
-
Veröffentlichung
- (where)
-
Göttingen
- (who)
-
Cuvillier
- (when)
-
2011
- Creator
-
Siegl, Sebastian
- 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, 11:42 AM 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
- Siegl, Sebastian
- Cuvillier
Time of origin
- 2011
Other Objects (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