Verification of the DEVS model implementation using aspect embedded DEVS.

Jong Hyuk Byun Chang Beom Choi Tag Gon Kim

Published in: SpringSim (2009)

Keyphrases

discrete event
probabilistic model
mathematical model
formal model
management system
parameter estimation
statistical model
simulation model
knowledge base
cost function
least squares
learning algorithm
experimental data
network structure
neural network model
high level
object model