Subscribers can view annotate, and download all of SAE's content. Learn More »
GAETAN: A General and Automated Environment for Thermal Analysis Network
2002-01-2448
A Methodology for Formal Requirements Validation and Automatic Test Generation and Application to Aerospace Systems
2018-01-1948