Yuanqing Qing

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Hui Chen, Chunjie Zhou, Xiongfeng Huang, Yuanqing Qing
Formal specification and verification of reconfigurable protocol stack for networked control system. ICNSC (2010)
Hui Chen, Chunjie Zhou, Jie Ma, Yuanqing Qing
FSM model and analysis for reconfigurable protocol stack in networked control system. ICCA (2010)