A Formal Model of the Safety-Critical Java Level 2 Paradigm
Luckcuck, Matt and Cavalcanti, Ana and Wellings, Andy
No Abstract Available
Download Not Available
BibTex Entry
@inbook{Luckcuck2016,
abstract = {},
address = {Cham},
author = {Luckcuck, Matt
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_15},
editor = {{\'A}brah{\'a}m, Erika
and Huisman, Marieke},
isbn = {978-3-319-33693-0},
pages = {226--241},
publisher = {Springer International Publishing},
title = {A Formal Model of the Safety-Critical Java Level 2 Paradigm},
year = {2016}
}