Login / Signup
Simulation of Preemptive Scheduling of the Independent Tasks Using Timed Automata.
Amarat Pimkote
Wiwat Vatanawood
Published in:
ICSCA (2021)
Keyphrases
</>
preemptive scheduling
timed automata
model checking
reachability analysis
simulation model
machine learning
special case
low cost
robotic systems
theorem prover
real time systems
single machine to minimize