Safety critical systems: challenges and directions.

Published in: ICSE (2002)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
adaptive systems
support systems
nuclear power plant
embedded systems
management system
real time
information systems
knowledge base
learning environment