Universal Simulation Model in Witness Software for Verification and Following Optimization of the Handling Equipment.
Jirí HolíkLenka LandryováPublished in: APMS (1) (2012)
Keyphrases
- simulation model
- simulation environment
- simulation tool
- simulation models
- discrete event
- agent based simulation
- software development
- model checking
- software tools
- optimization algorithm
- multi objective genetic algorithm
- mathematical model
- analytical model
- user interface
- optimization problems
- formal verification
- hardware designs
- source code
- optimization methods
- optimization method
- agent based models
- software architecture
- software systems
- computer systems