André Santos 0001, Alcino Cunha, Nuno Macedo. The High-Assurance ROS Framework. In 3rd IEEE/ACM International Workshop on Robotics Software Engineering, RoSE@ICSE 2021, Madrid, Spain, June 2, 2021. pages 37-40, IEEE, 2021. [doi]
@inproceedings{0001CM21-0,
title = {The High-Assurance ROS Framework},
author = {André Santos 0001 and Alcino Cunha and Nuno Macedo},
year = {2021},
doi = {10.1109/RoSE52553.2021.00013},
url = {https://doi.org/10.1109/RoSE52553.2021.00013},
researchr = {https://researchr.org/publication/0001CM21-0},
cites = {0},
citedby = {0},
pages = {37-40},
booktitle = {3rd IEEE/ACM International Workshop on Robotics Software Engineering, RoSE@ICSE 2021, Madrid, Spain, June 2, 2021},
publisher = {IEEE},
isbn = {978-1-6654-4474-3},
}