Login / Signup
Formally verifying human-automation interaction as part of a system model: limitations and tradeoffs.
Matthew L. Bolton
Ellen J. Bass
Published in:
Innov. Syst. Softw. Eng. (2010)
Keyphrases
</>
computational model
formal model
objective function
em algorithm
mathematical model
statistical model
experimental data
neural network
artificial intelligence
hidden markov models
probabilistic model
human computer interaction
theoretical framework