Formal Framework and Models for Validation and Verification of Software-Intensive Aerospace Systems (AIAA 2017-0418)
AIAA Information Systems-AIAA Infotech@Aerospace ; 2017 ; Grapevine, TX
2017-01-01
10 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal Validation of Aerospace Software
British Library Conference Proceedings | 2013
|Advanced Navy Applications Using CREATE-AV™ Kestrel (AIAA 2014-0418)
British Library Conference Proceedings | 2014
|Rapid Multi-Objective Aerodynamic Design Using Co-Kriging and Space Mapping (AIAA 2016-0418)
British Library Conference Proceedings | 2016
|AIAA 2006-0418 Numerical Simulation of Stall and Stall Control in Axial and Radial Compressors
British Library Conference Proceedings | 2006
|