A Formal Model of the Safety-Critical Java Level 2 Paradigm

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

Original language	English
Title of host publication	Integrated Formal Methods
Publisher	Springer
Pages	226-241
ISBN (Electronic)	978-3-319-33693-0
ISBN (Print)	978-3-319-33692-3
DOIs	https://doi.org/10.1007/978-3-319-33693-0_15
Publication status	Published - 24 May 2016
Event	12th International Conference on Integrated Formal Methods - Reykjavik, Iceland Duration: 1 Jun 2016 → 5 Jun 2016

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	9681

Conference	12th International Conference on Integrated Formal Methods
Country/Territory	Iceland
City	Reykjavik
Period	1/06/16 → 5/06/16

Access to Document

@inproceedings{7ccef6215672472489b55fd417658c34,

title = "A Formal Model of the Safety-Critical Java Level 2 Paradigm",

author = "Luckcuck, {Matthew Stephen} and Cavalcanti, {Ana Lucia Caneca} and Wellings, {Andrew John}",

year = "2016",

month = may,

day = "24",

doi = "10.1007/978-3-319-33693-0_15",

language = "English",

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

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "226--241",

booktitle = "Integrated Formal Methods",

address = "Germany",

note = "12th International Conference on Integrated Formal Methods ; Conference date: 01-06-2016 Through 05-06-2016",

}

TY - GEN

T1 - A Formal Model of the Safety-Critical Java Level 2 Paradigm

AU - Luckcuck, Matthew Stephen

AU - Cavalcanti, Ana Lucia Caneca

AU - Wellings, Andrew John

PY - 2016/5/24

Y1 - 2016/5/24

U2 - 10.1007/978-3-319-33693-0_15

DO - 10.1007/978-3-319-33693-0_15

M3 - Conference contribution

SN - 978-3-319-33692-3

T3 - Lecture Notes in Computer Science

SP - 226

EP - 241

BT - Integrated Formal Methods

PB - Springer

T2 - 12th International Conference on Integrated Formal Methods

Y2 - 1 June 2016 through 5 June 2016

ER -