"Birds-of-a-Feather-Group" on Safety Critical Systems.

W. J. Cullyer John Alexander McDermid

Published in: NATO ASI RTC (1992)

Keyphrases

safety critical
formal methods
fault tolerant
nuclear power plant
safety analysis
embedded systems
agent architecture
support systems
distributed systems
learning systems
artificial intelligence
reinforcement learning
learning environment
knowledge based systems
adaptive systems