Verification.

Andrew D. McGettrick Owen Traynor David Duffy

Published in: PROSPECTRA Book (1993)

Keyphrases

model checking
signature verification
formal verification
database
data sets
learning algorithm
information systems
multiresolution
real world
computer vision
database systems
artificial neural networks
verification method
functional verification