Login / Signup
Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks.
Li Su
Howard Bowman
Philip J. Barnard
Published in:
Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
</>
formal methods
reactive systems
formal analysis
knowledge based systems
safety critical
model checker
real world
artificial intelligence
provably correct
formal specification
model checking
software engineering
cognitive process
process algebra
user interface
case study
cognitive science
database systems