Login / Signup
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