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 |
| Summary: | 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 |
|---|