Chứng minh tính đúng đắn cho bài toán xung đột tài nguyên cho các hệ đa tác tử : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
Luận văn này tập trung nghiên cứu một phương pháp đặc tả và kiểm chứng các hệ đa tác tử sử dụng chung đa tài nguyên và sau đó để cụ thể hóa, luận văn này đã áp dụng vào việc đặc tả và chứng minh tính đúng đắn cho hệ thống đại lý vé máy bay bằng việc sử dụng bộ chứng minh định lý CafeOBJ...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Language: | Vietnamese |
| Published: |
ĐHCN
2017
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/43438 |
| 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-43438 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-434382018-08-02T08:53:57Z Chứng minh tính đúng đắn cho bài toán xung đột tài nguyên cho các hệ đa tác tử : Luận văn ThS. Công nghệ thông tin: 60 48 01 03 Nguyễn, Thế Huy Phạm, Ngọc Hùng Công nghệ phần mềm Hệ đa tác tử Luận văn này tập trung nghiên cứu một phương pháp đặc tả và kiểm chứng các hệ đa tác tử sử dụng chung đa tài nguyên và sau đó để cụ thể hóa, luận văn này đã áp dụng vào việc đặc tả và chứng minh tính đúng đắn cho hệ thống đại lý vé máy bay bằng việc sử dụng bộ chứng minh định lý CafeOBJ 2017-05-17T08:41:06Z 2017-05-17T08:41:06Z 2014 Thesis Nguyễn, T. H. (2014). Chứng minh tính đúng đắn cho bài toán xung đột tài nguyên cho các hệ đa tác tử. Luận văn thạc sỹ, Đại học Quốc gia Hà Nội, Việt Nam. 00050003845 http://repository.vnu.edu.vn/handle/VNU_123/43438 vi Luận văn Ngành Công nghệ phần mềm (Full) 68 tr. application/pdf ĐHCN |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
Vietnamese |
| topic |
Công nghệ phần mềm Hệ đa tác tử |
| spellingShingle |
Công nghệ phần mềm Hệ đa tác tử Nguyễn, Thế Huy Chứng minh tính đúng đắn cho bài toán xung đột tài nguyên cho các hệ đa tác tử : Luận văn ThS. Công nghệ thông tin: 60 48 01 03 |
| description |
Luận văn này tập trung nghiên cứu một phương pháp đặc tả và kiểm chứng các hệ đa tác tử sử dụng chung đa tài nguyên và sau đó để cụ thể hóa, luận văn này đã áp dụng vào việc đặc tả và chứng minh tính đúng
đắn cho hệ thống đại lý vé máy bay bằng việc sử dụng bộ chứng minh định lý CafeOBJ |
| author2 |
Phạm, Ngọc Hùng |
| author_facet |
Phạm, Ngọc Hùng Nguyễn, Thế Huy |
| format |
Theses and Dissertations |
| author |
Nguyễn, Thế Huy |
| author_sort |
Nguyễn, Thế Huy |
| title |
Chứng minh tính đúng đắn cho bài toán xung đột tài nguyên cho các hệ đa tác tử : Luận văn ThS. Công nghệ thông tin: 60 48 01 03 |
| title_short |
Chứng minh tính đúng đắn cho bài toán xung đột tài nguyên cho các hệ đa tác tử : Luận văn ThS. Công nghệ thông tin: 60 48 01 03 |
| title_full |
Chứng minh tính đúng đắn cho bài toán xung đột tài nguyên cho các hệ đa tác tử : Luận văn ThS. Công nghệ thông tin: 60 48 01 03 |
| title_fullStr |
Chứng minh tính đúng đắn cho bài toán xung đột tài nguyên cho các hệ đa tác tử : Luận văn ThS. Công nghệ thông tin: 60 48 01 03 |
| title_full_unstemmed |
Chứng minh tính đúng đắn cho bài toán xung đột tài nguyên cho các hệ đa tác tử : Luận văn ThS. Công nghệ thông tin: 60 48 01 03 |
| title_sort |
chứng minh tính đúng đắn cho bài toán xung đột tài nguyên cho các hệ đa tác tử : luận văn ths. công nghệ thông tin: 60 48 01 03 |
| publisher |
ĐHCN |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/43438 |
| _version_ |
1680965794332147712 |