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:
書目詳細資料
主要作者: Nguyễn, Thế Huy
其他作者: Phạm, Ngọc Hùng
格式: Theses and Dissertations
語言:Vietnamese
出版: ĐHCN 2017
主題:
在線閱讀:http://repository.vnu.edu.vn/handle/VNU_123/43438
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
實物特徵
總結: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