Supporting tele-assistance and tele-monitoring in safety-critical environments.

Weidong Huang Leila Alem Surya Nepal Danan Thilakanathan

Published in: OZCHI (2013)

Keyphrases

safety critical
nuclear power plant
support systems
real time
monitoring system
formal methods
decision support
embedded systems
fault tolerant
agent architecture
adaptive systems
open source
software development