Operational Semantics Based on Formal Symbolic Simulation.

Kees G. W. Goossens

Published in: TPHOLs (1992)

Keyphrases

mathematical model
simulation model
decision making
similarity measure
numerical simulations
machine learning
artificial intelligence
image processing
three dimensional
formal model
simulation software