Research Catalog

Development of a software safety process and a case study of its use annual progress report, August 1, 1995 - July 31, 1996 / submitted by J.C. Knight.

Title
Development of a software safety process and a case study of its use [microform] : annual progress report, August 1, 1995 - July 31, 1996 / submitted by J.C. Knight.
Author
Knight, John C.
Publication
Charlottesville, VA : School of Engineering & Applied Science, University of Virginia ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1996]

Details

Additional Authors
United States. National Aeronautics and Space Administration.
Description
1 v.
Series Statement
NASA contractor report ; NASA CR-202656
Subject
  • Program verification (Computers)
  • Safety factors
  • Fault trees
  • Control systems design
  • Human-computer interface
  • Nuclear reactors
  • Digital techniques
Note
  • Distributed to depository libraries in microfiche.
  • Shipping list no.: 97-0950-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:202656
OCLC
marcive38164467
Author
Knight, John C.
Title
Development of a software safety process and a case study of its use [microform] : annual progress report, August 1, 1995 - July 31, 1996 / submitted by J.C. Knight.
Imprint
Charlottesville, VA : School of Engineering & Applied Science, University of Virginia ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1996]
Series
NASA contractor report ; NASA CR-202656
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1997] 1 microfiche.
Added Author
United States. National Aeronautics and Space Administration.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:202656
Research Call Number
READEX Microfiche NAS 1.26:202656
View in Legacy Catalog