Cải tiến thuật toán chứng minh tính đúng đắn công thức khoảng
Tìm hiểu các khái niệm cơ bản liên quan đến hệ thời gian thực, kiểm chứng mô hình, các công cụ đặc tả hệ thống và yêu cầu. Tìm hiểu kĩ thuật kiểm chứng mô hình đối với công thức bất biến khoảng tuyến tính (LDI) dựa vào kĩ thuật duyệt đồ thị. Cải tiến thuật toán kiểm chứng đã có. Cài đặt thuật toán....
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | Theses and Dissertations |
| اللغة: | Vietnamese |
| منشور في: |
2020
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://repository.vnu.edu.vn/handle/VNU_123/75434 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| المؤسسة: | Vietnam National University, Hanoi |
| اللغة: | Vietnamese |