Towards Efficient Explainability of Schedulability Properties in Real-Time Systems.

Sanjoy K. Baruah, Pontus Ekberg

Browse the full ECRTS paper archive.