A Calculus for Software Engineering of Mobile and Autonomous Robots

Research output

Research output per year 2016 2016 2018 2019 2022 2023 2024 2024

• 7 Conference contribution
• 6 Article
• 2 Poster
• 1 Software

Research output per year

Research output per year

Search results

• 2022

  RoboSim: software models for sound simulation

  Cavalcanti, A. L. C., Filho, M. C., De Oliveira Salazar Ribeiro, P. F. & Sampaio, A., 11 Oct 2022, (Unpublished).

  Research output: Contribution to conference › Poster

  File

• Safety Assurance of an Industrial Robotic Control System Using Hardware/Software Co-Verification

  Murray, Y., De Oliveira Salazar Ribeiro, P. F., Anisi, D. A., Sirevåg, M. & Mossige, M., 11 Oct 2022, (Unpublished).

  Research output: Contribution to conference › Poster

  File