LEADER 01840nam  2200505   450 
001 9910702092503321
005 20151218160352.0
035   $a(CKB)5470000002423199
035   $a(OCoLC)932749501
035   $a(EXLCZ)995470000002423199
100   $a20151218j201202    ua             0
101 0 $aeng
135   $aurbn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProbabilistic requirements (partial) verification methods best practices improvement $evariables acceptance sampling calculators /$fKenneth L. Johnson, K. Preston White, Jr
210  1$aHampton, Virginia :$cNational Aeronautics and Space Administration, Langley Research Center,$dFebruary 2012.
215   $a1 online resource (2 volumes) $ccolor illustrations
225 1 $aNASA/TM ;$v2012-217335
300   $aTitle from title screen (viewed on Dec. 18, 2015).
300   $a"February 2012."
320   $aIncludes bibliographical references.
327   $av. 1. Derivations and verification of plans. -- v. 2. Empirical testing.
517   $aProbabilistic requirements 
606   $aCalculators$2nasat
606   $aConstellation program$2nasat
606   $aProcedures$2nasat
606   $aSafety$2nasat
606   $aSampling$2nasat
615  7$aCalculators.
615  7$aConstellation program.
615  7$aProcedures.
615  7$aSafety.
615  7$aSampling.
700   $aJohnson$b Kenneth L.$0109934
702   $aWhite$b K. P.
712 02$aLangley Research Center,
712 02$aUnited States.$bNational Aeronautics and Space Administration,
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910702092503321
996   $aProbabilistic requirements (partial) verification methods best practices improvement$93454649
997   $aUNINA