Verification of Forbidden Behavior in EPCs.

Carlo Simon Jan Mendling

Published in: Modellierung (2006)

Keyphrases

model checking
asynchronous circuits
neural network
information systems
data structure
special case
artificial intelligence
computer vision
feature selection
multiresolution
complex systems
fingerprint verification
adaptive behavior