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

Advertisement