يعرض 1 - 3 نتائج من 3 نتيجة بحث عن 'Wang, Ji', وقت الاستعلام: 0.04s تنقيح النتائج
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 — أرسل هذا البحث بالبريد الإلكتروني