A Hybrid Language for Modeling, Simulation and Verification.

Ramon R. H. Schiffelers Dirk A. van Beek Ka Lok Man Michel A. Reniers Jacobus E. Rooda

Published in: ADHS (2003)

Keyphrases

natural language
modeling language
colored petri nets
discrete event simulation
neural network
programming language
language learning
databases
real time
web services
simulation study
formal verification
hybrid models
crowd simulation
multiagent based simulation