Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 burns03guide
%A Burns, Alan
%A Dobbing, Brian
%A Vardanega, Tullio
%C New York, NY, USA
%D 2004
%I ACM
%J Ada Lett.
%K ada real-time profile
%N 2
%P 1--74
%R http://doi.acm.org/10.1145/997119.997120
%T Guide for the use of the Ada Ravenscar Profile in high integrity systems
%V XXIV
@article{burns03guide,
added-at = {2011-12-16T09:34:41.000+0100},
address = {New York, NY, USA},
author = {Burns, Alan and Dobbing, Brian and Vardanega, Tullio},
biburl = {https://www.bibsonomy.org/bibtex/22fc6a88de5670097dbe0173e7e1c4629/pbrada},
doi = {http://doi.acm.org/10.1145/997119.997120},
groups = {public},
interhash = {30fb4e52283a4904f62a4eda1e4a353b},
intrahash = {2fc6a88de5670097dbe0173e7e1c4629},
issn = {1094-3641},
journal = {Ada Lett.},
keywords = {ada real-time profile},
number = 2,
pages = {1--74},
publisher = {ACM},
timestamp = {2011-12-16T09:34:41.000+0100},
title = {Guide for the use of the Ada Ravenscar Profile in high integrity systems},
username = {pbrada},
volume = {XXIV},
year = 2004
}