Selecting verification and validation techniques for simulation projects: A planning and tailoring strategy.
Zhongshi WangPublished in: WSC (2013)
Keyphrases
- simulation study
- simulation model
- information retrieval
- neural network
- case study
- heuristic search
- goal oriented
- face verification
- planning process
- formal verification
- simulation models
- selection strategy
- selection algorithm
- planning problems
- numerical simulations
- model checking
- software engineering
- search space
- clustering algorithm