Login / Signup
Yaming Dou
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Formal Model
Statistical Model
Finite State Machines
High Level
Top Venues
ISPA/BDCloud/SocialCom/SustainCom
</>
Publications
</>
Lanju Kong
,
Yaming Dou
,
Qingqing Yin
,
Xinping Min
,
Qingzhong Li
WST+iMPT: A High-performance Incremental Verification World State Model for Massive Accounts.
ISPA/BDCloud/SocialCom/SustainCom
(2021)