Decomposition in Real-Time Safety-Critical Systems.

Paul Mukherjee Victoria Stavridou

Published in: Real Time Syst. (1998)

Keyphrases

safety critical
real time
formal methods
fault tolerant
embedded systems
agent architecture
safety analysis
nuclear power plant
support systems
adaptive systems
distributed systems
knowledge representation
user profiles
intelligent agents
sensor data