Registered user since Mon 10 May 2021
Name:Nuno Macedo
Country:Portugal
Affiliation:Faculty of Engineering, University of Porto and INESC TEC
Personal website:https://nmacedo.github.io/
GitHub:https://github.com/nmacedo
Research interests:Lightweight formal methods, Trustworthy software design, Safe robotic software
Contributions
| RoSE 2021 | The High-Assurance ROS Framework | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2021-profile
View general profile
View general profile