Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Fei Xie
Lessons Learned From Model Checking a NASA Robot Controller
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Component-Based Abstraction and Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
‹
2
3
4
