Analysis of Timeliness Requirements in Safety-Critical Systems.

Rogério de Lemos Amer Saeed Tom Anderson

Published in: FTRTFT (1992)

Keyphrases

safety critical
safety analysis
formal methods
fault tolerant
nuclear power plant
regulatory requirements
artificial intelligence
management system
embedded systems
data mining
case based reasoning
distributed systems
agent architecture
support systems
adaptive systems