Sign in
Prototype of a Verification Tool.
Thierry Jéron
Published in:
STACS (1991)
Keyphrases
</>
databases
image sequences
data structure
user friendly
software tools
neural network
real world
information retrieval
case study
three dimensional
database systems
face recognition
search algorithm
model checking
signature verification