Analysing Human Aspects of Safety-Critical Software.

Michael D. Harrison José Creissac Campos

Published in: ERCIM News (2008)

Keyphrases

safety critical
formal methods
fault tolerant
safety analysis
embedded systems
nuclear power plant
agent architecture
support systems
regulatory requirements
adaptive systems
real time
decision support system
software intensive systems
machine learning
health care