Verification Time.

Dongmin Kim Ik Rae Jeong

Published in: Secur. Commun. Networks (2017)

Keyphrases

model checking
databases
decision trees
data sets
information systems
image processing
web services
expert systems
hidden markov models
face detection
face verification
formal verification
asynchronous circuits