IEEE - Institute of Electrical and Electronics Engineers, Inc. - Verification of Temporal Properties in Automotive Embedded Software

Design, Automation & Test in Europe. DATE'08

Author(s): D. Lettnin ; P.K. Nalla ; J. Ruf ; T. Kropf ; W. Rosenstiel ; T. Kirsten ; V. Schonknecht ; S. Reitemeyer
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2008
Conference Location: Munich, Germany
Conference Date: 10 March 2008
Page(s): 164 - 169
ISBN (CD): 978-3-9810801-4-8
ISBN (Paper): 978-3-9810801-3-1
DOI: 10.1109/DATE.2008.4484680
Regular:

The amount of software in embedded systems has increased significantly over the last years and, therefore, the verification of embedded software is of fundamental importance. One of the main... View More

Advertisement