Verification and Validation for Simulation in Production and Logistics.

Markus Rabe Sven Spieckermann Sigrid Wenzel

Published in: Simul. Notes Eur. (2009)

Keyphrases

distribution networks
simulation model
supply chain
distribution network
case study
model checking
simulation models
database
data sets
data mining
information retrieval
artificial intelligence
evolutionary algorithm
production system
simulation environment
formal verification