Research in the development and certification of safety-related software

An edition of Research in the development and certification of safety-related software (1997)

Research in the development and certification of safety-related software

summary of research, 17 July 1995-31 July 1997 : prepared under grant number: NAG-1-1724 ...

By Janet Flynt

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1997

Publisher

National Aeronautics and Space Administration,National Technical Information Service, distributor

Language

eng

Pages

Description:

subjects: Certification, Implantation, Collision avoidance, Computer programs, Numerical control, Warning systems, Safety, Insulin, Software development tools, Mathematical logic, Education