A Model-Based Combination Language for Scheduling Verification.
Hui ZhaoLudovic ApvrilleFrédéric MalletPublished in: MODELSWARD (Revised Selected Papers) (2019)
Keyphrases
- natural language
- language learning
- scheduling problem
- programming language
- scheduling algorithm
- dynamic scheduling
- face verification
- round robin
- parallel processors
- manufacturing cell
- multi agent
- verification method
- real time database systems
- english language
- specification language
- model free
- combining multiple
- resource allocation
- logic programs