Visas 1 - 3 av 3 resultat för sökning 'Wang, Ji', Sökningstid : 0,07s Förfina resultatet
1
Symposium on Real-Time and Hybrid Systems
av Jones, Cliff, Wang, Ji, Zhan, Naijun
Publicerad 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hämta fulltext
Lägg till i favoriter
Sparad:
2
Dependable Software Engineering. Theories, Tools, and Applications
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hämta fulltext
Lägg till i favoriter
Sparad:
3
Slicing execution with partial weakest precondition for model abstraction of C programs /
Övriga upphovsmän: “...Wang, Ji....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lägg till i favoriter
Sparad:
Sökverktyg: RSS-flöde — Skicka sökningen per e-post