A tool-supported design framework for safety critical interactive systems.

Rémi Bastide David Navarre Philippe A. Palanque

Published in: Interact. Comput. (2003)

Keyphrases

interactive systems
safety critical
formal methods
human computer interaction
user interface
design process
embedded systems
real time
expert systems
safety analysis