The Role of Formal Proof in Modelling Interactive Behaviour.

Richard Butterworth Ann Blandford

Published in: DSV-IS (1998)

Keyphrases

formal proof
theorem prover
functional roles
decision making
user friendly
graphical interface
data sets
website
image sequences
artificial neural networks
computer graphics
qualitative models
highly interactive
user behaviour