Subscribers can view annotate, and download all of SAE's content. Learn More »
Towards Cooperation of Formal Methods for the Analysis of Critical Control Systems
2011-01-2558
Practical Application of Model-Based Software Design for Automotive
2002-01-0876