Facilitating the Verification of Diffusing Computations and Their Applications.

Tanja E. J. Vos S. Doaitse Swierstra

Published in: CLEI Electron. J. (2005)

Keyphrases

model checking
machine learning
digital images
parallel computation
asynchronous circuits
concurrent systems
functional verification
feature selection
multiscale
preprocessing
formal methods
formal verification
fingerprint verification
verification method