Qian Wang 0002, Zhiyuan Hu, Wei Ma, Qiang Chen, Yueling Zhang, Geguang Pu. Runtime Verification of Tactical Data Link. In 36th IEEE International Symposium on Software Reliability Engineering, ISSRE 2025 - Workshops, São Paulo, Brazil, October 21, 2025. pages 1-8, IEEE, 2025. [doi]
Abstract is missing.