On the verification of finite failure.

Roberta Gori Giorgio Levi

Published in: J. Comput. Syst. Sci. (2005)

Keyphrases

finite number
face verification
formal verification
failure detection
failure rate
failure prediction
asynchronous circuits
model checking
signature verification
unit length
real time
high security
success or failure
hidden markov models
face recognition
case study
decision trees
knowledge base
machine learning