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

Item Type: Article
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: 20 Sep 2025 00:00
Published Version: https://doi.org/10.1145/2971571.2971578
Status: Published
Refereed: Yes
Identification Number: 10.1145/2971571.2971578
Open Archives Initiative ID (OAI ID):

Download

Export

Statistics


CORE (COnnecting REpositories)