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:
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | Theses and Dissertations |
| 語言: | Vietnamese |
| 出版: |
2020
|
| 主題: | |
| 在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/75434 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|