Unifying Verification Paradigms.

Natarajan Shankar

Published in: FTRTFT (1996)

Keyphrases

model checking
face verification
signature verification
verification method
concurrent systems
neural network
genetic algorithm
search algorithm
expert systems
high security