Simulation Machines for Checking Action System Refinements.

Graeme Smith Kirsten Winter

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

Keyphrases

numerical simulations
mathematical model
simulation models
mathematical models
real time
three dimensional
search algorithm