Showing 1 - 3 results of 3 for search 'Wang, Ji', query time: 0.03s Refine Results
1
Symposium on Real-Time and Hybrid Systems
by Jones, Cliff, Wang, Ji, Zhan, Naijun
Published 2020
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
2
Dependable Software Engineering. Theories, Tools, and Applications
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
3
Slicing execution with partial weakest precondition for model abstraction of C programs /
Other Authors: “...Wang, Ji....”
Institutions: Thư viện Trường Đại học Đà Lạt
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search