Subscribers can view annotate, and download all of SAE's content. Learn More »
Model-Based Software Technology Providing Safer Automotive Development and High Quality
2004-01-0271
Application of Model Checking to Automotive Control Software with Slicing Technique
2013-01-0436