Kiểm chứng tính đúng đắn bằng CafeOBJ

Luận văn thạc sĩ vnu uet 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ĩ nghiên cứu vnu uet 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ử, đánh giá hiện trạng, phân tích vấn đề, đề xuất biện pháp hoàn