The Safety-critical Java Mission Model: a formal account

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

Original language	English
Title of host publication	International Conference on Formal Engineering Methods
Pages	49-65
Number of pages	17
Volume	6991 LNCS
DOIs	https://doi.org/10.1007/978-3-642-24559-6_6
Publication status	Published - 2011

Access to Document

@inproceedings{b17ca2fc84c54eddb1a688c7df9bc607,

title = "The Safety-critical Java Mission Model: a formal account",

author = "Frank Zeyda and Cavalcanti, {Ana Lucia Caneca} and Andy Wellings",

year = "2011",

doi = "10.1007/978-3-642-24559-6_6",

language = "English",

volume = "6991 LNCS",

pages = "49--65",

booktitle = "International Conference on Formal Engineering Methods",

}

TY - GEN

T1 - The Safety-critical Java Mission Model: a formal account

AU - Zeyda, Frank

AU - Cavalcanti, Ana Lucia Caneca

AU - Wellings, Andy

PY - 2011

Y1 - 2011

UR - http://www.scopus.com/inward/record.url?scp=80455162653&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-24559-6_6

DO - 10.1007/978-3-642-24559-6_6

M3 - Conference contribution

VL - 6991 LNCS

SP - 49

EP - 65

BT - International Conference on Formal Engineering Methods

ER -