Safety-Critical Java: : level 2 in practice

Luckcuck, Matt, Wellings, Andy and Cavalcanti, Ana (2016) Safety-Critical Java: : level 2 in practice. Concurrency and Computation: Practice and Experience. pp. 1-27. ISSN 1532-0634



Copyright, Publisher and Additional Information: Copyright © 2016 John Wiley & Sons, Ltd. 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: 1 August 2016
  • Published: 16 September 2016
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 01 Nov 2016 11:32
Last Modified: 07 Sep 2022 11:05
Published Version:
Status: Published
Refereed: Yes
Identification Number:


Filename: SafetyCriticalJava_Level2.pdf

Description: SafetyCriticalJava_Level2

Share / Export