Yongbing Wan

Publication Activity (10 Years)

Years Active: 1988-2013
Publications (10 Years): 0

Top Topics

Artifact Centric

Automated Verification

Reactive Systems

Reachability Analysis

Top Venues

Int. J. Comput. Appl. Technol.

Publications

Meng Mei, Zhongwei Xu, Xi Wang, Yongbing Wan
Model checking-based safety verification for railway signal safety protocol-I. Int. J. Comput. Appl. Technol. 46 (3) (2013)
Yongbing Wan, Zhongwei Xu, Meng Mei
A Formal Method for Testing Reactive System from Symbolic Model. AICI (2012)
Yongbing Wan, Leo Li
Diversity gain pattern of dual antenna diversity selection. PIMRC (1996)
Yongbing Wan, J. C. Chen
Fading distribution of diversity techniques with correlated channels. PIMRC (1995)
Yongbing Wan, Qingli Liu, Andrew M. Sendyk
A fractionally-spaced maximum-likelihood sequence estimation receiver in a multipath fading environment. ICASSP (1992)
Yongbing Wan, M. M. Fahmy
Design of 2-D digital filters with finite wordlength coefficients. ICASSP (1988)