Formal approach for a verified implementation of Global EDF in Trampoline.

Khaoula Boukir, Jean-Luc Bchennec, Anne-Marie Dplanche

Browse the full RTNS paper archive.