Robust Requirements Specifications for Safety - Critical Systems.

Amer Saeed Rogério de Lemos Tom Anderson

Published in: SAFECOMP (1993)

Keyphrases

safety critical
formal methods
fault tolerant
regulatory requirements
safety analysis
management system
embedded systems
nuclear power plant
agent architecture
knowledge base
case based reasoning
medical images
decision support
learning systems
cooperative
finite state machines
artificial intelligence
real time