Guidelines for selecting and using simulation model verification techniques.

Richard B. Whitner Osman Balci

Published in: WSC (1989)

Keyphrases

simulation model
simulation models
discrete event
agent based simulation
mathematical model
model checking
simulation environment
simulation tool
selection algorithm
face verification
signature verification
formal verification
state space
matlab simulink
verification method