v-Promela: A Visual, Object-Oriented Language for SPIN.

Stefan Leue Gerard J. Holzmann

Published in: ISORC (1999)

Keyphrases

visual information
visual perception
visual features
data sets
neural network
computer vision
search algorithm
low level
human vision
visual analysis
visual learning
visual tasks