Research in the development and certification of safety-related software
Subtitle: summary of research, 17 July 1995-31 July 1997 : prepared under grant number: NAG-1-1724 ...
By: principal investigators: Janet Flynt and Charlotte Scheper.
Contributors: Scheper, Charlotte.; United States. National Aeronautics and Space Administration.
Series: [NASA contractor report] -- 206177.; NASA contractor report -- NASA CR-206177.
Publisher: National Aeronautics and Space Administration; National Technical Information Service, distributor
Published: 1997
Place of publication: [Washington, DC; Springfield, Va
Language: eng
Format: Microform
Subjects: Safety.; Software development tools.; Computer programs.; Numerical control.; Warning systems.; Education.; Implantation.; Insulin.; Mathematical logic.; Collision avoidance.; Certification.
Notes: Shipping list no.: 98-0442-M.

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