Direct dimensional NC verification.

James H. Oliver Erik D. Goodman

Published in: Comput. Aided Des. (1990)

Keyphrases

multi dimensional
formal methods
model checking
face verification
image processing
real time
databases
clustering algorithm
signature verification
formal verification
functional verification