A Critical Analysis of Model-Based Formal Verification...

SAE International Journal of Passenger Cars - Electronic and Electrical Systems 2008 / 04 Vol. 1; Iss. 1

A Critical Analysis of Model-Based Formal Verification Efforts within the Automotive Industry

Rao, Arun Chakrapani, McMurran, Ross, Jones, R. Peter
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
1
Language:
english
Journal:
SAE International Journal of Passenger Cars - Electronic and Electrical Systems
DOI:
10.4271/2008-01-0220
Date:
April, 2008
File:
PDF, 484 KB
english, 2008
Conversion to is in progress
Conversion to is failed