Login / Signup
Yonggui Luo
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Statistical Model
Evolutionary Algorithm
High Level
Formal Analysis
Top Venues
Sci. China Inf. Sci.
</>
Publications
</>
Zheng Xie
,
Xin'an Wang
,
Zhibin Lian
,
Yonggui Luo
,
Ziyi Hu
A novel intelligent verification platform based on a structured analysis model.
Sci. China Inf. Sci.
56 (6) (2013)