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