TY  - GENERIC
DO  - 10.20944/preprints202404.0143.v1
UR  - http://dx.doi.org/10.20944/preprints202404.0143.v1
TI  - ROS2 Communication Security Vulnerability Detection Based on Formal Method
T2  - Preprints
AU  - Yang, Shuo
AU  - Guo, Jian
AU  - Rui, Xue
PY  - 2024
DA  - 2024/04/02
PB  - Preprints