Does Software Have to Be Ultra Reliable in Safety Critical Systems?

Published in: SAFECOMP (2013)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
embedded systems
agent architecture
nuclear power plant
adaptive systems
support systems
software intensive systems
regulatory requirements
distributed systems
intelligent agents
user interaction
intelligent systems
open source
management system