Login / Signup
Zining Cao
Publication Activity (10 Years)
Years Active: 2003-2024
Publications (10 Years): 21
Top Topics
Model Checking
Verification Method
Monte Carlo
Embedded Software
Top Venues
Int. J. Softw. Eng. Knowl. Eng.
ISKE
CoRR
IEEE Access
</>
Publications
</>