By the same authors

From the same journal

Implementing Safety-Critical Java Missions in Ada

Research output: Contribution to journalArticle

Standard

Implementing Safety-Critical Java Missions in Ada. / Wellings, A. J.; Cholpanov, V.; Burns, A.

In: ACM Ada Letters, Vol. 36, No. 1, 01.07.2016, p. 51-62.

Research output: Contribution to journalArticle

Harvard

Wellings, AJ, Cholpanov, V & Burns, A 2016, 'Implementing Safety-Critical Java Missions in Ada', ACM Ada Letters, vol. 36, no. 1, pp. 51-62. https://doi.org/10.1145/2971571.2971578

APA

Wellings, A. J., Cholpanov, V., & Burns, A. (2016). Implementing Safety-Critical Java Missions in Ada. ACM Ada Letters, 36(1), 51-62. https://doi.org/10.1145/2971571.2971578

Vancouver

Wellings AJ, Cholpanov V, Burns A. Implementing Safety-Critical Java Missions in Ada. ACM Ada Letters. 2016 Jul 1;36(1):51-62. https://doi.org/10.1145/2971571.2971578

Author

Wellings, A. J. ; Cholpanov, V. ; Burns, A. / Implementing Safety-Critical Java Missions in Ada. In: ACM Ada Letters. 2016 ; Vol. 36, No. 1. pp. 51-62.

Bibtex - Download

@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’s self-archiving policy. Further copying may not be permitted; contact the publisher for details",
year = "2016",
month = "7",
day = "1",
doi = "10.1145/2971571.2971578",
language = "English",
volume = "36",
pages = "51--62",
journal = "ACM Ada Letters",
issn = "1094-3641",
number = "1",

}

RIS (suitable for import to EndNote) - Download

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

VL - 36

SP - 51

EP - 62

JO - ACM Ada Letters

JF - ACM Ada Letters

SN - 1094-3641

IS - 1

ER -