Squiggles - A Tool for the Analysis of LOTOS Specifications.

Tommaso Bolognesi Maurizio Caneve

Published in: FORTE (1988)

Keyphrases

analysis tool
image analysis
high level
quantitative analysis
real time
neural network
web services
three dimensional
database systems
data analysis
statistical analysis