An exact schedulability test for global FP using state space pruning.

Artem Burmyakov, Enrico Bini, Eduardo Tovar

Browse the full RTNS paper archive.