Tests for the verification and validation of computer simulation models.

Robert E. Shannon

Published in: WSC (1981)

Keyphrases

simulation models
simulation model
agent based simulation
simulation tools
model checking
computer systems
test generation
test data
distance learning
formal verification