No Abstract Available
Download Not Available

BibTex Entry

@inproceedings{Burns1998f,
 abstract = {},
 author = {A. Burns and B. Dobbing and and G. Romanski (1998)},
 booktitle = {Reliable Software Technologies - Ada-Europe '98, Lars Asplund},
 pages = {263-275},
 title = {The Ravenscar Tasking Profile for High Integrity Real-Time Programs},
 year = {1998}
}