• Runtime Verification of Tactic...

*Result*: Runtime Verification of Tactical Data Link

Title:
Runtime Verification of Tactical Data Link
Authors:
Wang, Qiang, Hu, Zhiyuan, Ma, Wei, Chen, Qiang, Zhang, Yueling, Pu, Geguang
Source:
2025 IEEE 36th International Symposium on Software Reliability Engineering Workshops (ISSREW) ISSREW Software Reliability Engineering Workshops (ISSREW), 2025 IEEE 36th International Symposium on. :1-8 Oct, 2025
Relation:
2025 IEEE 36th International Symposium on Software Reliability Engineering Workshops (ISSREW)
Database:
IEEE Xplore Digital Library