Position paper: completing the Ravenscar profile

Stephen Michell. Position paper: completing the Ravenscar profile. In Benjamin M. Brosgol, Michael González Harbour, editors, Proceedings of the 10th International Workshop on Real-Time Ada, IRTAW 2000, Ávila, Spain, 2000. pages 75-78, ACM, 2000. [doi]

@inproceedings{Michell00,
  title = {Position paper: completing the Ravenscar profile},
  author = {Stephen Michell},
  year = {2000},
  doi = {10.1145/374370.374385},
  url = {https://doi.org/10.1145/374370.374385},
  researchr = {https://researchr.org/publication/Michell00},
  cites = {0},
  citedby = {0},
  pages = {75-78},
  booktitle = {Proceedings of the 10th International Workshop on Real-Time Ada, IRTAW 2000, Ávila, Spain, 2000},
  editor = {Benjamin M. Brosgol and Michael González Harbour},
  publisher = {ACM},
  isbn = {978-1-4503-7327-2},
}