VIP: A Visual Editor and Compiler for v-Promela.

Moataz Kamel Stefan Leue

Published in: TACAS (2000)

Keyphrases

visual features
low level
general purpose
visual information
high level
programming language
visual perception
database
data mining
object oriented
medical images
visual representation
visual analysis
visual representations