A Critical Analysis of Model-Based Formal Verification Efforts within the Automotive Industry.
- Author(s):
- Publication title:
- 2008 SAE world congress : technical paper
- Title of ser.:
- Society of Automotive Engineers technical paper series
- Ser. no.:
- 2008
- Pub. Year:
- 2008
- No.:
- 2008-01-0220
- Paper no.:
- 2008-01-0220
- Pages:
- 7
- Pub. info.:
- Warrendale, Penn.: Society of Automotive Engineers
- ISSN:
- 01487191
- Language:
- English
- Call no.:
- S10400
- Type:
- Technical Paper
Similar Items:
Society of Automotive Engineers |
National Aeronautics and Space Adminstration |
2
Technical Paper
Robustness Modelling of Complex Systems - Application to the Initialisation of a Hybrid Electric Vehicle Propulsion System.
Society of Automotive Engineers |
Society of Automotive Engineers |
Society of Automotive Engineers |
9
Technical Paper
A Computer Model Based Sensitivity Analysis of Parameters of an Automotive Air Conditioning System.
Society of Automotive Engineers |
4
Technical Paper
Formal Requirements Analysis Techniques for Software-Intensive Automotive Electronic Control Systems.
Society of Automotive Engineers |
10
Technical Paper
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-Linear and Linear Analyses.
Society of Automotive Engineers |
Society of Automotive Engineers |
Society of Automotive Engineers |
"Society of Automotive Engineering, Inc." |
Society of Automotive Engineers |