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.
Advanced Navy Applications Using CREATE-AV™ Kestrel (AIAA 2014-0418)
British Library Conference Proceedings | 2014
|Formal Validation of Aerospace Software
British Library Conference Proceedings | 2013
|Rapid Multi-Objective Aerodynamic Design Using Co-Kriging and Space Mapping (AIAA 2016-0418)
British Library Conference Proceedings | 2016
|High-Pressure Fuel Pyrolysis Investigation Using a Microflow Tube Reactor (AIAA 2015-0418)
British Library Conference Proceedings | 2015
|