Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment.

Leo Freitas, James Baxter, Ana Cavalcanti, Andy J. Wellings

Browse the full IFM paper archive.