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ĩ Công Nghệ Thông Tin; Mã ngành: 8480201 / Phan Thanh Toàn
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 t...
Lưu vào:
| Tác giả chính: | , |
|---|---|
| Đồng tác giả: | |
| Định dạng: | text |
| Ngôn ngữ: | vie |
| Thông tin xuất bản: |
Trường Đại học Nguyễn Tất Thành,
|
| Chủ đề: | |
| Truy cập trực tuyến: | http://elib.ntt.edu.vn/documentdata01/3 luanvanluanan/anhbiasach/37339_mohinhvakiemchungmangdophanmemxacdinhduoikientrucdadieukhienbangcachsudungcactientrinhtuantucuatruyenthongthumbimage.jpg http://elib.ntt.edu.vn/Opac/DmdInfo.aspx?dmd_id=37339 |
| Từ khóa: |
Thêm từ khóa bạn đọc
Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!
|
