Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment
Freitas, Leo and Baxter, James and Cavalcanti, Ana and Wellings, Andy
No Abstract Available
Download Not Available
BibTex Entry
@inbook{Freitas2016,
abstract = {},
address = {Cham},
author = {Freitas, Leo
and Baxter, James
and Cavalcanti, Ana
and Wellings, Andy},
booktitle = {Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings},
doi = {10.1007/978-3-319-33693-0_5},
editor = {{\'A}brah{\'a}m, Erika
and Huisman, Marieke},
isbn = {978-3-319-33693-0},
pages = {63--78},
publisher = {Springer International Publishing},
title = {Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment},
year = {2016}
}