Ricardo Maia, Flávio Moreira, R. Barbosa, Diamantino Costa, Kjeld Hjortaes, Patricia Rodríguez, Luís Miguel Pinho. Verifying, validating and monitoring the open Ravenscar real time kernel. In Tullio Vardanega, editor, Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW 2003, Viana do Castelo, Portugal, September 15-19, 2003. pages 74-81, ACM, 2003. [doi]
@inproceedings{MaiaMBCHRP03,
title = {Verifying, validating and monitoring the open Ravenscar real time kernel},
author = {Ricardo Maia and Flávio Moreira and R. Barbosa and Diamantino Costa and Kjeld Hjortaes and Patricia Rodríguez and Luís Miguel Pinho},
year = {2003},
doi = {10.1145/959222.959236},
url = {https://doi.org/10.1145/959222.959236},
researchr = {https://researchr.org/publication/MaiaMBCHRP03},
cites = {0},
citedby = {0},
pages = {74-81},
booktitle = {Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW 2003, Viana do Castelo, Portugal, September 15-19, 2003},
editor = {Tullio Vardanega},
publisher = {ACM},
isbn = {978-1-4503-7446-0},
}