Statistics
Publications
2
Citations
43
H-Index
2
Active since
2020
Affiliations
University of Minho(Current)
Renato Carvalho is an author at University of Minho specializing in computer science, safety-critical software engineering, and functional safety assessment.
Publications per year
2020–2021
2
2
Verification of system-wide safety properties of ROS applications
Renato Carvalho, Alcino Cunha, Nuno Macedo et al. · 2020 · 22 citations · Full text
1–2 of 2