A verification method for some GUI dialogue properties.

Yoshihiro Tsujino

Published in: Systems and Computers in Japan (2000)

Keyphrases

verification method
desirable properties
model checking
database
real time
information retrieval
data structure
natural language
temporal logic
real world
computer vision
image sequences
multi agent
human machine