Specification and verification of embedded real-time systems in the automotive domain
Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen
1. Aufl.
2011
IX, 162 S.
Ill., graph. Darst.
Digital preservation by Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
Theses
English
DDC: | 629.20284 |
Specification and verification of embedded real-time systems in the automotive domain
Tema Archive | 2011
|Model-based testing of real-time embedded systems in the automotive domain
Tema Archive | 2008
|