Zhujun Ye

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 2

Top Topics

Formal Verification

Top Venues

计算机科学

Publications

Haitao Yao, Wei Li, Qiguang Feng, Jilong Han, Zhujun Ye, Qianggao Hu, Yang Qi, Shaohua Yu
Ring-Based Colorless WDM-PON With Rayleigh Backscattering Noise Mitigation. JOCN 9 (1) (2017)
Junmin Ye, Kun Zhang, Zhujun Ye, Pan Chen, Shu Chen
一种基于活性顺序图的运行时验证研究 (Research of Runtime Verification Based on Live Sequence Chart). 计算机科学 43 (8) (2016)