01543oam 2200457 450 991071677960332120210806092208.0(CKB)5470000002524377(OCoLC)1262990611(OCoLC)995470000002524377(EXLCZ)99547000000252437720210806j202103 ua 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierDefining and reasoning about model-based safety analysis a review /Minghui Sun, Cody H. Fleming, and Milena MilichHampton, Virginia :National Aeronautics and Space Administration, Langley Research Center,March 2021.1 online resource (iii, 41 pages) illustrations (some color)NASA/CR ;20205009755"March 2021."Includes bibliographical references (pages 34-40).Defining and reasoning about model-based safety analysis Computer systems programsnasatModelsnasatSafetynasatComputer systems programs.Models.Safety.Sun Minghui1401137Fleming Cody H.Milich MilenaLangley Research Center,GPOGPOGPOBOOK9910716779603321Defining and reasoning about model-based safety analysis3469418UNINA