Java in the Safety-Critical Domain

A. Cavalcanti; A. Miyazawa; A. Wellings; J. Woodcock; S. Zhao

doi:10.1007/978-3-319-56841-6_4

Java in the Safety-Critical Domain

A. Cavalcanti, A. Miyazawa, A. Wellings, J. Woodcock, S. Zhao

Computer Science

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

Original language	English
Title of host publication	Engineering Trustworthy Software Systems
Subtitle of host publication	Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Editors	J. Bowen, Z. Liu, Z. Zhang
Publisher	Springer
Pages	110-150
Number of pages	41
Volume	10215
ISBN (Electronic)	978-3-319-56841-6
ISBN (Print)	978-3-319-56840-9
DOIs	https://doi.org/10.1007/978-3-319-56841-6_4
Publication status	Published - 6 Apr 2017

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
ISSN (Print)	0302-9743

Bibliographical note

© Springer International Publishing AG, 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

Access to Document

10.1007/978-3-319-56841-6_4

CMWWZ17
© Springer International Publishing AG, 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.
Accepted author manuscript, 1.95 MBLicence: Unspecified

https://www-users.cs.york.ac.uk/~alcc/publications/papers/CMWWZ17.pdf

Cite this

Cavalcanti, A., Miyazawa, A., Wellings, A., Woodcock, J., & Zhao, S. (2017). Java in the Safety-Critical Domain. In J. Bowen, Z. Liu, & Z. Zhang (Eds.), Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures (Vol. 10215, pp. 110-150). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-319-56841-6_4

@inproceedings{5467da43535f47dabf1ef7745f6cc612,

title = "Java in the Safety-Critical Domain",

author = "A. Cavalcanti and A. Miyazawa and A. Wellings and J. Woodcock and S. Zhao",

note = "{\textcopyright} Springer International Publishing AG, 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details.",

year = "2017",

month = apr,

day = "6",

doi = "10.1007/978-3-319-56841-6_4",

language = "English",

isbn = "978-3-319-56840-9",

volume = "10215",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "110--150",

editor = "J. Bowen and Z. Liu and Z. Zhang",

booktitle = "Engineering Trustworthy Software Systems",

address = "Germany",

}

Cavalcanti, A , Miyazawa, A , Wellings, A , Woodcock, J & Zhao, S 2017, Java in the Safety-Critical Domain. in J Bowen, Z Liu & Z Zhang (eds), Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. vol. 10215, Lecture Notes in Computer Science, Springer, pp. 110-150. https://doi.org/10.1007/978-3-319-56841-6_4

Java in the Safety-Critical Domain. / Cavalcanti, A.; Miyazawa, A.; Wellings, A. et al.
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. ed. / J. Bowen; Z. Liu; Z. Zhang. Vol. 10215 Springer, 2017. p. 110-150 (Lecture Notes in Computer Science).

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

TY - GEN

T1 - Java in the Safety-Critical Domain

AU - Cavalcanti, A.

AU - Miyazawa, A.

AU - Wellings, A.

AU - Woodcock, J.

AU - Zhao, S.

N1 - © Springer International Publishing AG, 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

PY - 2017/4/6

Y1 - 2017/4/6

U2 - 10.1007/978-3-319-56841-6_4

DO - 10.1007/978-3-319-56841-6_4

M3 - Conference contribution

SN - 978-3-319-56840-9

VL - 10215

T3 - Lecture Notes in Computer Science

SP - 110

EP - 150

BT - Engineering Trustworthy Software Systems

A2 - Bowen, J.

A2 - Liu, Z.

A2 - Zhang, Z.

PB - Springer

ER -

Cavalcanti A , Miyazawa A , Wellings A , Woodcock J , Zhao S. Java in the Safety-Critical Domain. In Bowen J, Liu Z, Zhang Z, editors, Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. Vol. 10215. Springer. 2017. p. 110-150. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-56841-6_4