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

• Main Author: Nguyễn, Thế Huy
• Other Authors: Phạm, Ngọc Hùng
• Format: Theses and Dissertations
• Language: Vietnamese
• Published: ĐHCN 2017
• Subjects: Công nghệ phần mềm; Hệ đa tác tử
• Online Access: http://repository.vnu.edu.vn/handle/VNU_123/43438
• Institution: Vietnam National University, Hanoi

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...