Implementing Safety-Critical Java Missions in Ada

A. J. Wellings, V. Cholpanov, A. Burns

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)51-62
Number of pages12
JournalACM Ada Letters
Issue number1
Publication statusPublished - 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

Cite this