Login / Signup
Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems.
Sandra Basnyat
Nick Chozos
Chris W. Johnson
Philippe A. Palanque
Published in:
DSV-IS (2005)
Keyphrases
</>
interactive systems
safety critical
formal methods
human computer interaction
embedded systems
knowledge based systems
real time
machine learning
user interface
software engineering
support systems
digital entertainment