Java in the Safety-Critical Domain

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationEngineering Trustworthy Software Systems
Subtitle of host publicationSecond International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
EditorsJ. Bowen, Z. Liu, Z. Zhang
Number of pages41
ISBN (Electronic)978-3-319-56841-6
ISBN (Print)978-3-319-56840-9
Publication statusPublished - 6 Apr 2017

Publication series

NameLecture Notes in Computer Science
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.

Cite this