Login / Signup
A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-Time Systems.
Imene Ben Hafaiedh
Maroua Ben Slimane
Published in:
IEEE Access (2020)
Keyphrases
</>
formal model
real time systems
real time
real time database systems
scheduling problem
distributed systems