Variation Verification.

John D. McGregor

Published in: J. Object Technol. (2009)

Keyphrases

model checking
verification method
databases
face verification
formal verification
high security
database
real time
real world
artificial intelligence
computer vision
image sequences
formal methods
formal analysis
asynchronous circuits