Principles of Discrete Event System Specification model verification.

Hesham Saadawi Gabriel A. Wainer

Published in: Simul. (2013)

Keyphrases

discrete event
high level
simulation model
probabilistic model
prior knowledge
computational model
theoretical framework
mathematical model
data model
high speed
conceptual model
dynamic systems
formal verification