Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approach.

Oliver Mäckel Georg Hoever

Published in: SAFECOMP (2001)

Keyphrases

human machine
safety critical
formal methods
safety analysis
embedded systems
human operators
spoken dialogue systems
human machine interaction
machine learning
agent architecture
decision making
management system
knowledge based systems
fault tolerant
support systems