Login / Signup

A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-Time Systems.

Imene Ben HafaiedhMaroua Ben Slimane
Published in: IEEE Access (2020)
Keyphrases
  • formal model
  • real time systems
  • real time
  • real time database systems
  • scheduling problem
  • distributed systems