Zobrazuji výsledky 1 - 3 z 3 pro vyhledávání 'Wang, Ji', doba hledání: 0,03 s. Upřesnit hledání
1
Symposium on Real-Time and Hybrid Systems
Autor Jones, Cliff, Wang, Ji, Zhan, Naijun
Vydáno 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
2
Dependable Software Engineering. Theories, Tools, and Applications
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
3
Slicing execution with partial weakest precondition for model abstraction of C programs /
Další autoři: “...Wang, Ji....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat e-mailem