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
Advanced Techniques for Accelerated Simulation Studies of Complex Aircraft Electrical Power Systems
2011-01-2623