Trends in Software Verification.

Gerard J. Holzmann

Published in: FME (2003)

Keyphrases

neural network
trend detection
computer vision
knowledge base
clustering algorithm
learning algorithm
image processing
case study
image sequences
email
domain knowledge