Defining and reasoning about model-based safety analysis : a review /

Bibliographic Details
Main Authors:	Sun, Minghui (Author), Fleming, Cody H. (Author), Milich, Milena (Author)
Format:	Government Document eBook
Language:	English
Published:	Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, March 2021.
Series:	NASA contractor report ; 20205009755.
Subjects:	Computer systems programs. Models. Safety.
Online Access:	https://purl.fdlp.gov/GPO/gpo158561

Description
Item Description:	"March 2021."
Physical Description:	1 online resource (iii, 41 pages) : illustrations (some color).
Bibliography:	Includes bibliographical references (pages 34-40).