Subscribers can view annotate, and download all of SAE's content. Learn More »
Model-based Testing of Embedded Automotive Software Using Mtest
2004-01-1593
Case Study of Commercially Available Tools that Apply Formal Methods to a Matlab/Simulink/Stateflow Model
2004-01-1765
Safety Critical Software Development for a Brake By-Wire System
2006-01-1672