Näytetään 1 - 3 yhteensä 3 tuloksesta haulle 'Wang, Ji', hakuaika: 0,04s Tarkenna hakua
1
Symposium on Real-Time and Hybrid Systems
Tekijä Jones, Cliff, Wang, Ji, Zhan, Naijun
Julkaistu 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hae kokoteksti
Lisää suosikkeihin
Tallennettuna:
2
Dependable Software Engineering. Theories, Tools, and Applications
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hae kokoteksti
Lisää suosikkeihin
Tallennettuna:
3
Slicing execution with partial weakest precondition for model abstraction of C programs /
Tekijä Yang, Xuejun.
Muut tekijät: “...Wang, Ji....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lisää suosikkeihin
Tallennettuna:
Työkalut: RSS-syöte — Lähetä haku sähköpostilla