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]
Năm xuất bản
2024
Tác giả
Trần, Thanh Hòa
Nhan đề tạp chí
ISSN
Nhan đề tập
Nhà xuất bản
Trường Đại học Nguyễn Tất Thành (Khoa Công nghệ Thông tin)
Tóm tắt
Xâ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.
Mô tả
78 tr.
Từ khóa chủ đề
Mô hình hóa , Kiểm chứng , Floodlight