LEADER 01815nam 2200529I 450 001 9910704439203321 005 20130603111740.0 035 $a(CKB)5470000002441304 035 $a(OCoLC)846465786 035 $a(EXLCZ)995470000002441304 100 $a20130603d2011 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAutomating the generation of heterogeneous aviation safety cases /$fEwen W. Denney, Ganesh J. Pai, Josef M. Pohl 210 1$aMoffett Field, California :$cNational Aeronautics and Space Administration, Ames Research Center,$d2011. 215 $a1 online resource (96 pages) $cillustrations (some color) 225 1 $aNASA/CR ;$v2011-215983 300 $aTitle from title screen (viewed on June 3, 2013). 300 $a"August 2011." 320 $aIncludes bibliographical references (pages 82-85). 606 $aAircraft safety$2nasat 606 $aAutomatic control$2nasat 606 $aUnmanned aircraft systems$2nasat 606 $aAirborne equipment$2nasat 606 $aControl systems design$2nasat 606 $aAircraft models$2nasat 606 $aAircraft design$2nasat 615 7$aAircraft safety. 615 7$aAutomatic control. 615 7$aUnmanned aircraft systems. 615 7$aAirborne equipment. 615 7$aControl systems design. 615 7$aAircraft models. 615 7$aAircraft design. 700 $aDenney$b Ewen W.$01406490 702 $aPai$b Ganesh J. 702 $aPohl$b Josef M. 712 02$aAmes Research Center, 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910704439203321 996 $aAutomating the generation of heterogeneous aviation safety cases$93485627 997 $aUNINA