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