Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Integrated Formal Methods
Subtitle of host publication	12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Publisher	Springer
Pages	63-78
ISBN (Electronic)	978-3-319-33693-0
ISBN (Print)	978-3-319-33692-3
Publication status	Published - 2016

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	9681

Access to Document

chp%3A10.1007%2F978-3-319-33693-0_5
© 2016, The Authors.
Final published version, 747 KBLicence: CC BY

@inproceedings{b859eb36d97f41fb94ff5cacdf0ba2ee,

title = "Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment",

author = "Leo Freitas and James Baxter and Cavalcanti, {Ana Lucia Caneca} and Wellings, {Andrew John}",

note = "{\textcopyright} 2016, The Authors. ",

year = "2016",

language = "English",

isbn = "978-3-319-33692-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "63--78",

booktitle = "Integrated Formal Methods",

address = "Germany",

}

Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. / Freitas, Leo; Baxter, James ; Cavalcanti, Ana Lucia Caneca et al.
Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Springer, 2016. p. 63-78 (Lecture Notes in Computer Science; Vol. 9681).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment

AU - Freitas, Leo

AU - Baxter, James

AU - Cavalcanti, Ana Lucia Caneca

AU - Wellings, Andrew John

PY - 2016

Y1 - 2016

M3 - Conference contribution

SN - 978-3-319-33692-3

T3 - Lecture Notes in Computer Science

SP - 63

EP - 78

BT - Integrated Formal Methods

PB - Springer

ER -