Formally verifying interactive systems: A review.

José Creissac Campos Michael D. Harrison

Published in: DSV-IS (1997)

Keyphrases

interactive systems
human computer interaction
user interface
real time
model checking
neural network
search engine
image processing
multi agent
systematic review