"Efficient exact Boolean schedulability tests for fixed priority preemption ..."

Saehwa Kim (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics