01840nam 2200505 450 991070209250332120151218160352.0(CKB)5470000002423199(OCoLC)932749501(EXLCZ)99547000000242319920151218j201202 ua 0engurbn|||||||||txtrdacontentcrdamediacrrdacarrierProbabilistic requirements (partial) verification methods best practices improvement variables acceptance sampling calculators /Kenneth L. Johnson, K. Preston White, JrHampton, Virginia :National Aeronautics and Space Administration, Langley Research Center,February 2012.1 online resource (2 volumes) color illustrationsNASA/TM ;2012-217335Title from title screen (viewed on Dec. 18, 2015)."February 2012."Includes bibliographical references.v. 1. Derivations and verification of plans. -- v. 2. Empirical testing.Probabilistic requirements CalculatorsnasatConstellation programnasatProceduresnasatSafetynasatSamplingnasatCalculators.Constellation program.Procedures.Safety.Sampling.Johnson Kenneth L.109934White K. P.Langley Research Center,United States.National Aeronautics and Space Administration,GPOGPOBOOK9910702092503321Probabilistic requirements (partial) verification methods best practices improvement3454649UNINA