Assessing Failure Probabilities in Safety-Critical Systems Containing Software.

Published in: ICSE (1990)

Keyphrases

safety critical
formal methods
safety analysis
embedded systems
fault tolerant
nuclear power plant
agent architecture
support systems
adaptive systems
regulatory requirements
software intensive systems
expert systems
learning systems
load balancing
distributed systems
user interface
multi agent
real time