Verification in OBSCURE.

Jacques Loeckx Annette Hoffmann

Published in: ADT (1988)

Keyphrases

formal verification
model checking
functional verification
case study
high level
face verification
expert systems
concurrent systems
verification method
signature verification
digital images
hidden markov models
database
preprocessing
data structure
multiscale
decision trees
artificial intelligence
real time