Runtime Verification of Tactical Data Link.

Qian Wang, Zhiyuan Hu, Wei Ma, Qiang Chen, Yueling Zhang, Geguang Pu

Browse the full ISSRE paper archive.