Symposium on Real-Time and Hybrid Systems
محفوظ في:
المؤلفون الرئيسيون: | Jones, Cliff, Wang, Ji, Zhan, Naijun |
---|---|
التنسيق: | كتاب |
اللغة: | English |
منشور في: |
Springer International Publishing
2020
|
الموضوعات: | |
الوصول للمادة أونلاين: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/87862 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
مواد مشابهة
-
Formal Methods and Hybrid Real-Time Systems
بواسطة: Jones, Cliff B., وآخرون
منشور في: (2020) -
Hybrid Intelligent Systems
بواسطة: Castillo, Oscar, وآخرون
منشور في: (2020) -
Architecting Dependable Systems III
بواسطة: Lemos, Rogério de, وآخرون
منشور في: (2020) -
Analysis and Design of Information Systems
بواسطة: Langer, Arthur M.
منشور في: (2020) -
Formal Methods for Industrial Critical Systems
بواسطة: Leue, Stefan, وآخرون
منشور في: (2020)