Analysing context-dependent deviations in interacting with safety-critical systems.

Fabio Paternò Carmen Santoro

Published in: Reliab. Eng. Syst. Saf. (2006)

Keyphrases

safety critical
context dependent
formal methods
safety analysis
embedded systems
fault tolerant
nuclear power plant
machine learning
intelligent agents
intelligent systems
agent architecture
support systems
domain specific
management system
learning systems
decision support
decision making