No Abstract Available
Download Not Available

BibTex Entry

@inproceedings{Dobbing1998,
 abstract = {},
 author = {B. Dobbing and A. Burns (8-12 November 1998)},
 booktitle = {Proceedings of ACM SigAda Annual Conference, Washington DC, U.S.A},
 pages = {1-6},
 title = {The Ravenscar Tasking Profile for High Integrity Real-Time Programs},
 year = {1998}
}