Login / Signup
Jinyun Xue
Publication Activity (10 Years)
Years Active: 1988-2022
Publications (10 Years): 17
Top Topics
Recursive Algorithm
Mobile Rfid
Model Checking
Formal Specification
Top Venues
SOFL+MSVL
Int. J. Pattern Recognit. Artif. Intell.
ICSE (Companion Volume)
Softw. Test. Verification Reliab.
</>
Publications
</>