01652nam 2200469I 450 991070362540332120150429133708.0(CKB)5470000002433460(OCoLC)908164550(EXLCZ)99547000000243346020150429j201410 ua 0engurbn|||||||||txtrdacontentcrdamediacrrdacarrierProjected impact of compositional verification on current and future aviation safety risk /Mary S. Reveley [and three others]Cleveland, Ohio :National Aeronautics and Space Administration, Glenn Research Center,October 2014.1 online resource (21 pages)NASA/TM ;2014-217877Title from title screen (viewed on April 29, 2015)."October 2014."Includes bibliographical references (page 21).Flight safetynasatAircraft safetynasatRisk assessmentnasatPrototypesnasatManagement planningnasatFlight safety.Aircraft safety.Risk assessment.Prototypes.Management planning.Reveley Mary S.1398505NASA Glenn Research Center,United States.National Aeronautics and Space Administration,GPOGPOBOOK9910703625403321Projected impact of compositional verification on current and future aviation safety risk3475522UNINA