Implementing Safety-Critical Java Missions in Ada

Wellings, A. J., Cholpanov, V. and Burns, A. (2016) Implementing Safety-Critical Java Missions in Ada. ACM Ada Letters. pp. 51-62. ISSN 1094-3641


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
  • 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:
Status: Published
Refereed: Yes
Identification Number:


Share / Export