Empirical Analysis of Safety-Critical Anomalies During Operations.

Robyn R. Lutz Ines Carmen Mikulski

Published in: IEEE Trans. Software Eng. (2004)

Keyphrases

empirical analysis
safety critical
formal methods
empirical studies
theoretical analysis
fault tolerant
nuclear power plant
safety analysis
embedded systems
agent architecture
support systems
adaptive systems
regulatory requirements
listed companies
low cost
multi agent systems
real time