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: |
|
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: | 06 Nov 2024 01:23 |
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): | oai:eprints.whiterose.ac.uk:106671 |