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 ; Kai 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
Page(s): 45 - 50
ISBN (Paper): 0-7695-1870-2
ISSN (Paper): 1530-1591
DOI: 10.1109/DATE.2003.1253804
Advertisement