Showing 1 - 3 results of 3 for search 'Wang, Ji', सवाल का समय: 0.05सेकंड परिणाम को परिष्कृत करें
1
Symposium on Real-Time and Hybrid Systems
द्वारा Jones, Cliff, Wang, Ji, Zhan, Naijun
प्रकाशित 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
पूर्ण पाठ प्राप्त करें
सूची में सहेजें
में बचाया:
2
Dependable Software Engineering. Theories, Tools, and Applications
द्वारा Larsen, Kim Guldstrand, Sokolsky, Oleg, Wang, Ji
प्रकाशित 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
पूर्ण पाठ प्राप्त करें
सूची में सहेजें
में बचाया:
3
Slicing execution with partial weakest precondition for model abstraction of C programs /
द्वारा Yang, Xuejun.
अन्य लेखक: “...Wang, Ji....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
सूची में सहेजें
में बचाया:
खोज साधन : RSS फ़ीड प्राप्त करें — इस खोज को ईमेल करें