Implementing Safety-Critical Java Missions in Ada

Wellings, A. J. orcid.org/0000-0002-3338-0623, Cholpanov, V. and Burns, A. orcid.org/0000-0001-5621-8816 (2016) Implementing Safety-Critical Java Missions in Ada. ACM Ada Letters. pp. 51-62. ISSN 1094-3641

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: 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: 1 July 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: 02 Nov 2016 09:53
Last Modified: 07 Dec 2022 10:56
Published Version: https://doi.org/10.1145/2971571.2971578
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1145/2971571.2971578

Download

Share / Export

Statistics


CORE (COnnecting REpositories)