LEADER 01631nam  2200457I  450 
001 9910705710003321
005 20170710075200.0
035   $a(CKB)5470000002453311
035   $a(OCoLC)993254241
035   $a(EXLCZ)995470000002453311
100   $a20170710j201702    ua             0
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal assurance certifiable tooling strategy final report /$fEric Bush [and six others]
210  1$aHampton, Virginia :$cNational Aeronautics and Space Administration, Langley Research Center,$dFebruary 2017.
215   $a1 online resource (31 pages) $ccolor illustrations
225 1 $aNASA/CR ;$v2017-219372
300   $a"February 2017."
300   $a"Performing organization: NASA Langley Research Center"--Report documentation page.
320   $aIncludes bibliographical references (page 31).
606   $aCertification$2nasat
606   $aComputer programs$2nasat
606   $aProgram verification (computers)$2nasat
606   $aSoftware development tools$2nasat
606   $aSoftware engineering$2nasat
615  7$aCertification.
615  7$aComputer programs.
615  7$aProgram verification (computers)
615  7$aSoftware development tools.
615  7$aSoftware engineering.
700   $aBush$b Eric Niels$01397949
712 02$aLangley Research Center,
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910705710003321
996   $aFormal assurance certifiable tooling strategy final report$93460338
997   $aUNINA