Issues with using Ravenscar and the Ada Distributed Systems Annex
N. C. Audsley and A. J. Wellings
The paper considers a high-integrity subset of the DSA and how it can be implemented in SPARK Ada
Download Not Available
BibTex Entry
@inproceedings{Audsley2001a,
author = {N. C. Audsley and A. J. Wellings},
booktitle = {Proceedings of IRTAW10, Ada Letters, Vol XX1(1)},
category = {scheduling,languages},
pages = {33-39},
title = {Issues with using {Ravenscar and the Ada Distributed Systems Annex}},
year = {2001}
}