Towards Formal Foundations for BORM ORD Validation and Simulation.

Martin Podloucký Robert Pergl

Published in: ICEIS (2) (2014)

Keyphrases

simulation model
simulation environment
formal methods
real time
bayesian networks
wide range
natural language
mathematical model
data mining
knowledge base
multi agent
formal model
simulation models
collision detection
mathematical theory