LEADER 02062oam 2200541 a 450 001 9910701795503321 005 20120405162528.0 035 $a(CKB)5470000002420138 035 $a(OCoLC)783862475 035 $a(OCoLC)995470000002420138 035 $a(EXLCZ)995470000002420138 100 $a20120405d1985 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDevelopment of a flight software testing methodology$b[electronic resource] $efinal report /$fEdward J. McCluskey and Dorothy M. Andrews 210 1$aStanford, Calif. :$cCenter for Reliable Computing, Stanford University ;$a[Washington, D.C.]:$c[National Aeronautics and Space Administration],$d[1985] 215 $a1 online resource (ii, 26 pages) $cillustrations 225 1 $aNASA CR ;$v176391 300 $aTitle from title screen (viewed on Apr. 5, 2012). 300 $a"September 1985." 320 $aIncludes bibliographical references (pages 23-24). 517 $aDevelopment of a flight software testing methodology 606 $aComputer programs$2nasat 606 $aDigital command systems$2nasat 606 $aError detection codes$2nasat 606 $aFlight control$2nasat 606 $aFlight tests$2nasat 606 $aProgram verification (computers)$2nasat 615 7$aComputer programs. 615 7$aDigital command systems. 615 7$aError detection codes. 615 7$aFlight control. 615 7$aFlight tests. 615 7$aProgram verification (computers) 700 $aMcCluskey$b Edward J.$f1929-$0459991 701 $aAndrews$b Dorothy M$g(Dorothy May),$f-1984.$01415680 712 02$aStanford University.$bCenter for Reliable Computing. 712 02$aUnited States.$bNational Aeronautics and Space Administration. 801 0$bGPO 801 1$bGPO 801 2$bGPO 906 $aBOOK 912 $a9910701795503321 996 $aDevelopment of a flight software testing methodology$93518427 997 $aUNINA