No Abstract Available
Download Not Available

BibTex Entry

@article{Audsley2000,
 abstract = {},
 author = {N. C. Audsley and A. J. Wellings},
 category = {os, languages},
 journal = {Proceedings 10th International Real-Time Ada Workshop},
 title = {Issues with using Ravenscar and the Ada Distributed Systems Annex for High-Integrity Systems},
 year = {2000}
}