Login / Signup
Xiaoyun Guo
ORCID
Publication Activity (10 Years)
Years Active: 2012-2023
Publications (10 Years): 8
Top Topics
Comprehensive Evaluation
Temporal Properties
Artifact Centric
Model Checking
Top Venues
APSEC
Inf. Process. Manag.
IET Image Process.
Softw. Test. Verification Reliab.
</>
Publications
</>