Verification Methodology for Discrete Event Simulation Models of Personnel in the Canadian Armed Forces.
Jillian Anne HendersonRobert M. BrycePublished in: WSC (2019)
Keyphrases
- simulation model
- discrete event
- simulation models
- discrete event simulation
- agent based simulation
- discrete event systems
- crisis response
- mathematical model
- simulation environment
- hybrid systems
- simulation tools
- simulation tool
- supervisory control
- data processing
- manufacturing process
- information systems
- dynamic systems
- cooperative
- database systems
- air cargo
- e government
- end users
- mathematical modeling
- dynamical systems
- machine learning
- model checking
- data assimilation
- real time