Ribeiro,, Luís Mário Macedo
Formalizing ROS2 security configuration with Alloy [Documento eletrónico] / Luís Mário Macedo Ribeiro ; orient. Manuel Alcino Pereira da Cunha, André Filipe Faria dos Santos
Formalizing ROS2 security configuration with Alloy [Documento eletrónico] / Luís Mário Macedo Ribeiro ; orient. Manuel Alcino Pereira da Cunha, André Filipe Faria dos Santos
. - [Braga : s.n.], 2022
. -
681.5
681.3
681.3.06