Safety-Critical Java: : level 2 in practice

Luckcuck, Matt, Wellings, Andy orcid.org/0000-0002-3338-0623 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2016) Safety-Critical Java: : level 2 in practice. Concurrency and Computation: Practice and Experience. pp. 1-27. ISSN 1532-0634

Abstract

Metadata

Authors/Creators:
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.
Dates:
  • Published: 16 September 2016
  • Accepted: 1 August 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: 02 Sep 2019 23:49
Published Version: https://doi.org/10.1002/cpe.3951
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1002/cpe.3951

Download

Filename: SafetyCriticalJava_Level2.pdf

Description: SafetyCriticalJava_Level2

Share / Export

Statistics