1 option
Next Generation Testing Tools for Embedded Automotive Applications
- Format:
- Conference/Event
- Author/Creator:
- Deutsch, Alain, author.
- Conference Name:
- SAE 2004 World Congress & Exhibition (2004-03-08 : Detroit, Michigan, United States)
- Language:
- English
- Physical Description:
- 1 online resource
- Place of Publication:
- Warrendale, PA SAE International 2004
- Summary:
- This paper is a tutorial on the principles and applications of static verification of dynamic properties to development, verification and validation of embedded applications. The topics covered include what static verification of dynamic properties is, how it works, how it can help in verification and validation activities. It will also present an industrial tool for the automatic detection of run-time errors
- Notes:
- Vendor supplied data
- Publisher Number:
- 2004-01-0716
- Access Restriction:
- Restricted for use by site license
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.