Processes for software in safety critical systems.

Oddur Benediktsson R. B. Hunter Andrew D. McGettrick

Published in: Softw. Process. Improv. Pract. (2001)

Keyphrases

safety critical
formal methods
support systems
safety analysis
fault tolerant
embedded systems
nuclear power plant
agent architecture
adaptive systems
regulatory requirements
distributed systems
software intensive systems
learning systems
machine learning
artificial intelligence
management system