Mô hình và kiểm chứng các chức năng cơ bản của Floodlight : Luận văn Thạc sĩ Công nghệ Thông tin [Mã ngành : 8480201]

Hiển thị đơn giản
dc.contributor.advisorPhan, Công Vinh (PGS.TS.)
dc.contributor.authorTrần, Thanh Hòa
dc.date.accessioned2025-04-21T07:34:39Z
dc.date.available2025-04-21T07:34:39Z
dc.date.issued2024
dc.description78 tr.
dc.description.abstractXây dựng một đặc tả chính xác và kiểm chứng hình thức về sáu mô-đun cơ bản của Floodlight (gồm Floodlight Provider, OFSwitch Manager, Device Manager, Link Discovery Manager, Topology Service và Forwarding) bằng ngôn ngữ đại số tiến trình CSP.
dc.identifier.urihttps://repository.ntt.edu.vn/handle/298300331/265
dc.language.isovi_VN
dc.publisherTrường Đại học Nguyễn Tất Thành (Khoa Công nghệ Thông tin)
dc.subjectMô hình hóa
dc.subjectKiểm chứng
dc.subjectFloodlight
dc.titleMô hình và kiểm chứng các chức năng cơ bản của Floodlight : Luận văn Thạc sĩ Công nghệ Thông tin [Mã ngành : 8480201]
dc.typeThesis
Tệp tin
Tập tin chính của tài liệu
Đang hiển thị 1 - 1 của tổng số 1 kết quả
Hình ảnh thu nhỏ
Tên:
50526_TranThanhHoa.pdf
Dung lượng:
1.4 MB
Định dạng:
Adobe Portable Document Format
Mô tả:
Tải xuống
Tập tin giấy phép
Đang hiển thị 1 - 1 của tổng số 1 kết quả
Hình ảnh thu nhỏ
Tên:
license.txt
Dung lượng:
1.71 KB
Định dạng:
Item-specific license agreed to upon submission
Mô tả:
Tải xuống
Bộ sưu tập
Master Theses