Development of a software safety process and a case study of its use
Subtitle: annual progress report, August 1, 1995 - July 31, 1996 / submitted by J.C. Knight.
Contributors: United States. National Aeronautics and Space Administration.
Series: [NASA contractor report] -- NASA CR-202656.
Publisher: School of Engineering & Applied Science, University of Virginia; National Aeronautics and Space Administration; National Technical Information Service, distributor
Published: 1996
Place of publication: Charlottesville, VA; [Washington, DC; Springfield, Va
Language: eng
Format: Microform
Subjects: Program verification (Computers); Safety factors.; Fault trees.; Control systems design.; Human-computer interface.; Nuclear reactors.; Digital techniques.
Notes: Distributed to depository libraries in microfiche.

Shipping list no.: 97-0950-M.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1997] 1 microfiche.