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
Năm xuất bản
2022
Tác giả
Phan, Thanh Toàn
Phan, Công Vinh, P.GS.TS. (Hướng Dẫn)
Nhan đề tạp chí
ISSN
Nhan đề tập
Nhà xuất bản
Đại học Nguyễn Tất Thành (Khoa Công nghệ Thông tin)
Tóm tắt
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
Mô tả
86 tr.
Từ khóa chủ đề
Truyền thông , Phần mềm , Mô hình hóa