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....
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Language: | Vietnamese |
| Published: |
2020
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/75434 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | Vietnamese |
| Summary: | 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. |
|---|