công nghệ phần mềm và phương pháp hình thức
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