Zilong Wan

Publication Activity (10 Years)

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

Top Topics

Formal Verification

Attribute Reduction Algorithm

Rule Extraction

Top Venues

Publications

Lian Chen, Hongling Liu, Zilong Wan
An Attribute Reduction Algorithm Based on Rough Set Theory and an Improved Genetic Algorithm. J. Softw. 9 (9) (2014)
Meihua Xiao, Zilong Wan, Hongling Liu
The Formal Verification and Improvement of Simplified SET Protocol. J. Softw. 9 (9) (2014)