Real-time safety-critical systems: analysis and synthesis.

Alan Burns John Alexander McDermid

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

Keyphrases

safety critical
safety analysis
real time
fault tolerant
nuclear power plant
embedded systems
formal methods
support systems
agent architecture
management system
intelligent systems
regulatory requirements
software systems
decision support system
data model
learning process
e learning