Login / Signup
A brute-force schedulability analysis for formal model under logical execution time assumption.
Pierre-Emmanuel Hladik
Published in:
SAC (2018)
Keyphrases
</>
formal model
brute force
predicate calculus
tabu search
semantic network
formal models
probabilistic knowledge