Computer-Based Safety Critical Systems in Defence: Def (Aust) 5679.

Published in: SCS (2002)

Keyphrases

safety critical
fault tolerant
support systems
safety analysis
formal methods
embedded systems
adaptive systems
real time
agent architecture
regulatory requirements
management system
nuclear power plant
distributed systems