Simulation Refinement for Concurrency Verification.

Wim H. Hesselink

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

model checking
face verification
simulation models
simulation environment
simulation model
neural network
information retrieval
learning algorithm
data structure
simulation study
data flow
formal methods
high fidelity