Verification and validation of simulation models.

Robert G. Sargent

Published in: WSC (2008)

Keyphrases

simulation models
simulation model
simulation tools
agent based simulation
model checking
air cargo
verification method
formal verification
concurrent systems
real time
learning algorithm
cryptographic protocols
person identification
multimodal biometrics