Mark Louis Fairbairn, Alan Burns
Implementing and Verifying EDF Preemption-Level Resource Control
AdaEurope, 2012.
@inproceedings{AdaEurope-2012-FairbairnB, author = "Mark Louis Fairbairn and Alan Burns", booktitle = "{Proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies}", doi = "10.1007/978-3-642-30598-6_14", isbn = "978-3-642-30597-9", pages = "193--206", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Implementing and Verifying EDF Preemption-Level Resource Control}", volume = 7308, year = 2012, }