Independent Verification and Validation: A Missing Link in Simulation Methodology?

James D. Arthur Richard E. Nance

Published in: WSC (1996)

Keyphrases

discrete event simulation
model checking
missing data
missing values
simulation study
simulation model
formal verification
databases
neural network
artificial intelligence
simulation environment