An Approach to Safety Critical Systems Design.

Miroslav Svéda

Published in: EUROCAST (1997)

Keyphrases

safety critical
embedded systems
formal methods
fault tolerant
support systems
safety analysis
knowledge based systems
building blocks
agent architecture
nuclear power plant
design process
regulatory requirements
case study
cooperative
machine learning
management system