Implementing Safety-Critical Java Missions in Ada

A. J. Wellings; V. Cholpanov; A. Burns

doi:10.1145/2971571.2971578

Implementing Safety-Critical Java Missions in Ada

Computer Science

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	51-62
Number of pages	12
Journal	ACM Ada Letters
Volume	36
Issue number	1
DOIs	https://doi.org/10.1145/2971571.2971578
Publication status	Published - 1 Jul 2016

Bibliographical note

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

Access to Document

10.1145/2971571.2971578

Wellings
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
Accepted author manuscript, 294 KB

Cite this

@article{27ec72b927af4a6ebc4810514bb77834,

title = "Implementing Safety-Critical Java Missions in Ada",

author = "Wellings, {A. J.} and V. Cholpanov and A. Burns",

note = "This is an author-produced version of the published paper. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details ",

year = "2016",

month = jul,

day = "1",

doi = "10.1145/2971571.2971578",

language = "English",

volume = "36",

pages = "51--62",

journal = "ACM Ada Letters",

issn = "1094-3641",

number = "1",

}

TY - JOUR

T1 - Implementing Safety-Critical Java Missions in Ada

AU - Wellings, A. J.

AU - Cholpanov, V.

AU - Burns, A.

N1 - 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

PY - 2016/7/1

Y1 - 2016/7/1

U2 - 10.1145/2971571.2971578

DO - 10.1145/2971571.2971578

M3 - Article

SN - 1094-3641

VL - 36

SP - 51

EP - 62

JO - ACM Ada Letters

JF - ACM Ada Letters

IS - 1

ER -