Login / Signup

Automata-theoretic modeling of fixed-priority non-preemptive scheduling for formal timing verification.

Matthias KauerSebastian SteinhorstReinhard SchneiderMartin LukasiewyczSamarjit Chakraborty
Published in: ASP-DAC (2014)
Keyphrases
  • preemptive scheduling
  • data exchange
  • single machine