EVGC: A Tool for Visualizing LOTOS Behavioural Specifications.

Mario Marrero Álvaro Suárez Sarmiento

Published in: FTRTFT (1996)

Keyphrases

formal specification language
software tools
temporal logic
information visualization
high level
image sequences
interactive exploration
graphical display
multi agent
artificial neural networks
databases
decision trees
formal specification
formal methods
learning algorithm
temporal ordering
information retrieval