IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal methods for integration of automotive software
6th Design Automation and Test in Europe (DATE 03)
Author(s): | M. Jersak ; K. Richter ; R. Ernst ; J.-C. Braam ; Zheng-Yu Jiang ; F. Wolf |
Sponsor(s): | EDAA |
Publisher: | IEEE - Institute of Electrical and Electronics Engineers, Inc. |
Publication Date: | 1 January 2003 |
Conference Location: | Munich, Germany, Germany |
Conference Date: | 7 March 2003 |
Page Count: | 6 |
ISBN (Paper): | 0-7695-1870-2 |
ISSN (Paper): | 1530-1591 |
DOI: | 10.1109/DATE.2003.1186670 |
Regular:
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software as well as distributed software development between manufacturers and... View More