The choice of computer languages for use in safety-critical systems.

W. J. Cullyer S. J. Goodenough Brian A. Wichmann

Published in: Softw. Eng. J. (1991)

Keyphrases

safety critical
formal methods
safety analysis
embedded systems
fault tolerant
nuclear power plant
databases
expert systems
support systems
data mining
information systems
decision making
cooperative
knowledge acquisition
regulatory requirements