Login / Signup

Xinwei Fang

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 17

Top Topics

Model Checking
Automated Verification
Temporal Properties
Finite State

Top Venues

CoRR
SAFECOMP Workshops
FAILSAFE@SenSys
ASE

University of York, UK (PHD)

Education History
University of York, UK

PHD

Publications