Transforming classic Discrete Event System Specification models to Specification and Description Language.
Pau Fonseca i CasasPublished in: Simul. (2015)
Keyphrases
- description language
- specification language
- discrete event
- action language
- domain models
- simulation model
- software architecture
- formal specification
- supervisory control
- general purpose
- formal methods
- description languages
- discrete event simulation
- mathematical modeling
- high level
- programming language
- evolutionary algorithm