Verification of system-wide safety properties of ROS applications Artigo de Conferência uri icon

autores

  • André Santos
  • Carvalho, Renato
  • Manuel Alcino Pereira da Cunha
  • Cunha, Alcino
  • Macedo, N
  • Carvalho, R
  • Macedo, N
  • Santos, A

data de publicação

  • janeiro 1, 2020