Discrete event model verification using system morphism.

Ki Jung Hong Tag Gon Kim

Published in: SMC (2001)

Keyphrases

discrete event
simulation model
probabilistic model
high level
computational model
mathematical model
theoretical framework
verification method
data model
em algorithm
formal model