%0 Conference Paper %1 conf/ifm/FreitasBCW16 %A Freitas, Leo %A Baxter, James %A Cavalcanti, Ana %A Wellings, Andy J. %B IFM %D 2016 %E Ábrahám, Erika %E Huisman, Marieke %I Springer %K %P 63-78 %T Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2016.html#FreitasBCW16 %V 9681 %@ 978-3-319-33692-3

@inproceedings{conf/ifm/FreitasBCW16, added-at = {2023-12-13T00:25:55.000+0100}, author = {Freitas, Leo and Baxter, James and Cavalcanti, Ana and Wellings, Andy J.}, biburl = {https://www.bibsonomy.org/bibtex/27670fb80193e9b3b9fb7154c444908cb/admin}, booktitle = {IFM}, crossref = {conf/ifm/2016}, editor = {Ábrahám, Erika and Huisman, Marieke}, ee = {https://doi.org/10.1007/978-3-319-33693-0_5}, interhash = {633ef511866386e2597676a2987c8574}, intrahash = {7670fb80193e9b3b9fb7154c444908cb}, isbn = {978-3-319-33692-3}, keywords = {}, pages = {63-78}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:25:55.000+0100}, title = {Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2016.html#FreitasBCW16}, volume = 9681, year = 2016 }