LEADER 01765nam 2200469I 450 001 9910703731003321 005 20150805161927.0 035 $a(CKB)5470000002434413 035 $a(OCoLC)915853665 035 $a(EXLCZ)995470000002434413 100 $a20150805j201412 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIs model-based development a favorable approach for complex and safety-critical computer systems on commercial aircraft? /$fWilfredo Torres-Pomales 210 1$aHampton, Virginia :$cNational Aeronautics and Space Administration, Langley Research Center,$dDecember 2014. 215 $a1 online resource (8 pages) 225 1 $aNASA/TM ;$v2014-218670 300 $aTitle from title screen (viewed Aug. 5, 2015). 300 $a"December 2014." 320 $aIncludes bibliographical references (pages 7-8). 606 $aFlight safety$2nasat 606 $aSoftware engineering$2nasat 606 $aComputer systems design$2nasat 606 $aSoftware development tools$2nasat 606 $aAir transportation$2nasat 615 7$aFlight safety. 615 7$aSoftware engineering. 615 7$aComputer systems design. 615 7$aSoftware development tools. 615 7$aAir transportation. 700 $aTorres-Pomales$b Wilfredo$01391891 712 02$aLangley Research Center, 712 02$aUnited States.$bNational Aeronautics and Space Administration, 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910703731003321 996 $aIs model-based development a favorable approach for complex and safety-critical computer systems on commercial aircraft$93509728 997 $aUNINA