hệ thống tương tranh và xử lý song song
Luận văn thạc sĩ VNU UET kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ CSP và công cụ PAT, mang lại giải pháp hiệu quả.
Danh mục:
78
2
0