Evaluating the potential of new technological tools for safety critical work.

Leena Norros Marja Liinasuo Robert Hutton

Published in: Interact. Comput. (2011)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
nuclear power plant
embedded systems
agent architecture
adaptive systems
decision support
monitoring system
formal specification
artificial intelligence
information systems
case based reasoning
semi automatic