No Abstract Available
Download Not Available

BibTex Entry

@article{Audsley2000a,
 abstract = {},
 author = {N. C. Audsley and A. Burns and A. J. Wellings},
 category = {scheduling,languages},
 journal = {Proceedings 10th International Real-Time Ada Workshop},
 title = {Implementing a High-Integrity Executive using Ravenscar},
 year = {2000}
}