On Safety--Critical Computer Control Systems.

Wolfgang A. Halang Matjaz Colnaric

Published in: CBMS (1997)

Keyphrases

safety critical
safety analysis
control system
formal methods
fault tolerant
embedded systems
nuclear power plant
agent architecture
real time
support systems
adaptive systems
user profiles
software systems
computational intelligence
formal specification
software engineering
learning process
information systems