Simulation refinement for concurrency verification.

Wim H. Hesselink

Published in: Sci. Comput. Program. (2011)

Keyphrases

simulation model
database
clustering algorithm
data sets
databases
information systems
discrete event simulation
neural network
genetic algorithm
data structure
face verification
step wise