Fair Simulation.

Thomas A. Henzinger Orna Kupferman Sriram K. Rajamani

Published in: Inf. Comput. (2002)

Keyphrases

databases
image processing
multiscale
wide range
simulation model
database
real time
neural network
three dimensional
trade off
simulation study
simulation environment