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 |
| id |
oai:112.137.131.14:VNU_123-75434 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-754342020-04-02T11:54:16Z Cải tiến thuật toán chứng minh tính đúng đắn công thức khoảng Nguyễn, Thị Bình ĐHQGHN - Trường Đại học Công nghệ Kỹ thuật phần mềm Thuật toán Kiểm chứng mô hình Công thức khoảng 005.1 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. Kỹ thuật phần mềm 2020-04-02T11:52:53Z 2020-04-02T11:52:53Z 2020-04-02 Thesis Nguyễn. T. B. (2014). Cải tiến thuật toán chứng minh tính đúng đắn công thức khoảng. Luận văn thạc sỹ, Đại học Quốc gia Hà Nội, Việt Nam 60 48 10 03 http://repository.vnu.edu.vn/handle/VNU_123/75434 NG-B vi 61 tr. application/pdf |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
Vietnamese |
| topic |
Kỹ thuật phần mềm Thuật toán Kiểm chứng mô hình Công thức khoảng 005.1 |
| spellingShingle |
Kỹ thuật phần mềm Thuật toán Kiểm chứng mô hình Công thức khoảng 005.1 Nguyễn, Thị Bình Cải tiến thuật toán chứng minh tính đúng đắn công thức khoảng |
| description |
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. |
| author2 |
ĐHQGHN - Trường Đại học Công nghệ |
| author_facet |
ĐHQGHN - Trường Đại học Công nghệ Nguyễn, Thị Bình |
| format |
Theses and Dissertations |
| author |
Nguyễn, Thị Bình |
| author_sort |
Nguyễn, Thị Bình |
| title |
Cải tiến thuật toán chứng minh tính đúng đắn công thức khoảng |
| title_short |
Cải tiến thuật toán chứng minh tính đúng đắn công thức khoảng |
| title_full |
Cải tiến thuật toán chứng minh tính đúng đắn công thức khoảng |
| title_fullStr |
Cải tiến thuật toán chứng minh tính đúng đắn công thức khoảng |
| title_full_unstemmed |
Cải tiến thuật toán chứng minh tính đúng đắn công thức khoảng |
| title_sort |
cải tiến thuật toán chứng minh tính đúng đắn công thức khoảng |
| publishDate |
2020 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/75434 |
| _version_ |
1680964654577221632 |