Documenting the Design of Safety-Critical, User Interfaces.

Chris W. Johnson

Published in: Interact. Comput. (1996)

Keyphrases

user interface
safety critical
design process
artificial intelligence
real time
case study
nuclear power plant
safety analysis
reinforcement learning
knowledge based systems
user interaction
fault tolerant
formal methods