DocumentCode
2413482
Title
Formal methods for integration of automotive software
Author
Jersak, Marek ; Richter, Kai ; Ernst, Rolf ; Braam, Jörn-Christian ; Jiang, Zheng-Yu ; Wolf, Fabian
fYear
2003
fDate
2003
Firstpage
45
Lastpage
50
Keywords
Automotive engineering; Certification; Control systems; Embedded software; Engines; Manufacturing processes; Protection; Software performance; Software safety; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Design, Automation and Test in Europe Conference and Exhibition, 2003
ISSN
1530-1591
Print_ISBN
0-7695-1870-2
Type
conf
DOI
10.1109/DATE.2003.1253804
Filename
1253804
Link To Document