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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2413482
بازگشت