Schedulability Analysis Abstractions for Safety Critical Java.

Thomas Bgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft

Browse the full ISORC paper archive.