A Formal Proof of a Deadline Driven Scheduler (1994)

by Zheng Yuhua, Zhou Chaochen
Venue:In Proceedings of FTRTFT’94, volume 863 of LNCS