Login / Signup

Using Hybrid Automata to Support Human Factors Analysis in a Critical System.

Gavin J. DohertyMieke MassinkGiorgio P. Faconti
Published in: Formal Methods Syst. Des. (2001)
Keyphrases
  • human factors
  • hybrid automata
  • computational complexity
  • data analysis
  • high dimensional
  • semantic analysis