Introduction to Subject Area "Verification".

Frank Ortmeier Wolfgang Reif Gerhard Schellhorn

Published in: SoftSpez Final Report (2004)

Keyphrases

model checking
signature verification
functional verification
feature selection
website
face verification
feature vectors
concurrent systems
high security
asynchronous circuits
fingerprint verification
data sets
lower bound
preprocessing
multiscale
machine learning
neural network