THE PROPOSED WORK TARGETS THE SSAT1 SUB-TOPIC AFCS-1.2, SUPPORT FOR VERIFICATION OF BLACK-BOX FLIGHT-CRITICAL SYSTEMS (FCS). SPECIFICALLY, THE PROJE
$1,386,297FY2014National Aeronautics and Space AdministrationNASA
Carnegie Mellon University, Pittsburgh PA