Login / Signup

Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems.

Antonio Cerone
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)
Keyphrases
  • formal analysis
  • interactive systems
  • probabilistic model
  • human computer interaction
  • information systems
  • software engineering
  • semi automatic