On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version.
Paulo Salem da SilvaAna Cristina Vieira de MeloPublished in: Simul. (2013)
Keyphrases
- discrete event
- simulation model
- discrete event simulation
- dynamic systems
- simulation models
- simulation environment
- crisis response
- supervisory control
- discrete event systems
- hybrid systems
- multiple faults
- mathematical modeling
- dynamical systems
- mathematical model
- simulation software
- manufacturing process
- model checking
- simulation tools