Subscribers can view annotate, and download all of SAE's content. Learn More »
Case Study of Commercially Available Tools that Apply Formal Methods to a Matlab/Simulink/Stateflow Model
2004-01-1765
Exhaust System Simulation of a 2-Cylinder 2-Stroke Engine Including Heat Transfer Effects
2010-32-0035