Guide for the use of the Ada Ravenscar Profile in high integrity systems
A. Burns, B.Dobbing and T. Vardanega
An extended report giving the motivation for the Ravenscar Profile, a complete description and a number of examples of use.
BibTex Entry
@techreport{Burns2003,
address = {Department of Computer Science},
author = {A. Burns and B.Dobbing and T. Vardanega},
institution = {University of York},
month = {Jan},
number = {YCS-2003-348},
title = {Guide for the use of the Ada Ravenscar Profile in high integrity systems},
year = {2003}
}