يعرض 1 - 4 نتائج من 4 نتيجة بحث عن 'Liu, Zhiming', وقت الاستعلام: 0.04s تنقيح النتائج
1
Domain Modeling and the Duration Calculus
بواسطة George, Chris, Liu, Zhiming, Woodcock, Jim
منشور في 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
احصل على النص الكامل
أضف إلى المفضلة
محفوظ في:
2
Formal Methods and Hybrid Real-Time Systems
بواسطة Jones, Cliff B., Liu, Zhiming, Woodcock, Jim
منشور في 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
احصل على النص الكامل
أضف إلى المفضلة
محفوظ في:
3
Engineering Trustworthy Software Systems
بواسطة Bowen, Jonathan P., Liu, Zhiming, Zhang, Zili
منشور في 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
احصل على النص الكامل
أضف إلى المفضلة
محفوظ في:
4
Theoretical Aspects of Computing - ICTAC 2007
بواسطة Jones, Cliff B., Liu, Zhiming, Woodcock, Jones
منشور في 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
احصل على النص الكامل
أضف إلى المفضلة
محفوظ في:
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني