![](/img/cover-not-exists.png)
Verification of Autosar software architectures
Dr.-Ing. Erwan Gravier,Dr.-Ing. Markus Gros,B.Sc. Anne GeburziVolume:
5
Language:
english
Journal:
ATZelektronik worldwide
DOI:
10.1007/BF03242277
Date:
August, 2010
File:
PDF, 533 KB
english, 2010