Common Law Safety Case Approaches to Safety Critical Systems Assurance.

Kevin J. Anderson

Published in: SSS (2006)

Keyphrases

safety critical
safety analysis
formal methods
fault tolerant
nuclear power plant
embedded systems
agent architecture
support systems
adaptive systems
regulatory requirements
case based reasoning
software engineering
software intensive systems
reinforcement learning
management system