Loops for Safety Critical Applications.

Johann Blieberger

Published in: SAFECOMP (1995)

Keyphrases

safety critical
fault tolerant
formal methods
safety analysis
agent architecture
nuclear power plant
embedded systems
support systems
regulatory requirements
adaptive systems
real time
artificial intelligence
decision making
multi agent
management system
intelligent agents