Why Modern Systems Should Minimize the Use of Safety Critical Software.

Published in: HASE (1999)

Keyphrases

safety critical
formal methods
safety analysis
embedded systems
fault tolerant
nuclear power plant
agent architecture
support systems
software intensive systems
adaptive systems
regulatory requirements
real time
reverse engineering
database design
management system
expert systems
cooperative
e learning