A Framework for Scheduler Synthesis.

Karine Altisen, Gregor Gler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine

Browse the full RTSS paper archive.