Login / Signup
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