kiểm chứng mô hình và đặc tả 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