ARTICLE
|
doi:10.20944/preprints202404.0143.v1
Subject:
Computer Science And Mathematics,
Computer Networks And Communications
Keywords:
Robotic System; ROS2; Communication mechanisms; Security and Safety Analysis; formal method
Online: 2 April 2024 (16:12:24 CEST)