Integrating Verification into the PAOSE Approach.

Marcin Hewelt Thomas Wagner Lawrence Cabac

Published in: PNSE (2011)

Keyphrases

formal verification
real time
data mining
model checking
formal analysis
integrating multiple
false acceptance
neural network
multimedia
website
feature vectors
multiresolution
asynchronous circuits
high security