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.
Langzeitarchivierung durch Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
Hochschulschrift
Englisch
DDC: | 629.20284 |
Model-based testing of real-time embedded systems in the automotive domain
Tema Archiv | 2008
|