An Automatic Trace Analysis Tool Generator for Estelle Specifications.

S. Alan Ezust Gregor von Bochmann

Published in: SIGCOMM (1995)

Keyphrases

analysis tool
image processing
semi automatic
fully automatic
real time
databases
real world
case study
multiresolution
data driven
design process
functional requirements
pseudorandom