Login / Signup
To Verification Infinity and Beyond.
Scott Davidson
Published in:
IEEE Des. Test (2017)
Keyphrases
</>
model checking
verification method
real time
face verification
data sets
concurrent systems
formal verification
special case
neural network
preprocessing
relational databases
multi agent systems
medical images
objective function
case study
signature verification
multimedia
high security
image processing