Modeling and Verifying TESAC Using CSP. - Dongzhen Sun; Huibiao Zhu; Yuan Fei; Lili Xiao; Gang Lu; Jiaqi Yin (SEKE, 2019)

Formalization and Verification of TESAC Using CSP. - Dongzhen Sun; Huibiao Zhu; Yuan Fei; Lili Xiao; Gang Lu; Jiaqi Yin (Int. J. Softw. Eng. Knowl. Eng., 2019)

A Novel Joint Carrier Parameter Estimation Algorithm Based on Double Fields for DVB-S2X Signals. - Dongzhen Sun; Xu Chen; Kexian Gong; Peng Sun 002; Wei Wang 151; Fasong Wang (CNIOT, 2024)