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:
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | Theses and Dissertations |
| 語言: | Vietnamese |
| 出版: |
ĐHCN
2017
|
| 主題: | |
| 在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/43438 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | Vietnam National University, Hanoi |
| 語言: | Vietnamese |
| 總結: | 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 |
|---|