Mô hình hóa và kiểm chứng mạng do phần mềm xác định dưới kiến trúc đa điều khiển bằng cách sử dụng các tiến trình tuần tự của truyền thông : Luận Văn Thạc Sĩ, chuyên ngành Công Nghệ Thông Tin, ; Mã ngành: 8480201
| dc.contributor.author | Phan, Thanh Toàn | |
| dc.contributor.author | Phan, Công Vinh, P.GS.TS. (Hướng Dẫn) | |
| dc.date.accessioned | 2023-05-17T01:25:08Z | |
| dc.date.accessioned | 2024-08-13T02:23:05Z | |
| dc.date.available | 2023-05-17T01:25:08Z | |
| dc.date.available | 2024-08-13T02:23:05Z | |
| dc.date.issued | 2022 | |
| dc.description | 86 tr. | |
| dc.description.abstract | Nghiên cứu ngôn ngữ đại số tiến trình CSP va sủ dụng bộ công cụ phân tích tiến trình để kiểm tra mô hỉnh PAT. Mô hình hóa chuyển mạch, bộ điều khiển HyperFlow, bộ điều khiển Kandoo và hệ thống mạng SDN. Qua đó, thực nghiệm đánh giá tính khả thi và hiệu quả ca đề tài trên bộ công cụ phân tích tiến trình để kiểm tra mô hinh PAT | |
| dc.identifier.uri | https://repository.ntt.edu.vn/handle/298300331/4303 | |
| dc.language.iso | vi_VN | |
| dc.publisher | Đại học Nguyễn Tất Thành (Khoa Công nghệ Thông tin) | |
| dc.subject | Truyền thông | |
| dc.subject | Phần mềm | |
| dc.subject | Mô hình hóa | |
| dc.title | Mô hình hóa và kiểm chứng mạng do phần mềm xác định dưới kiến trúc đa điều khiển bằng cách sử dụng các tiến trình tuần tự của truyền thông : Luận Văn Thạc Sĩ, chuyên ngành Công Nghệ Thông Tin, ; Mã ngành: 8480201 | |
| dc.type | Technical Report |