發(fā)簡信
IP屬地：黑龍江
-
配置驗證組
東北大學(xué)FIT網(wǎng)絡(luò)實驗室，科研方向網(wǎng)絡(luò)智能運維、網(wǎng)絡(luò)配置綜合、網(wǎng)絡(luò)配置驗證。 團隊簡介： 導(dǎo)師：李福亮 教授。 博士：3人。 碩士：7人。 所有...
-
2018-2019網(wǎng)絡(luò)驗證文章匯總轉(zhuǎn)載請注明出處，本人能力有限，有不足、不對之處歡迎各位討論。全部圖已經(jīng)省略。 NSDI 1.VeriFlow: Verifying Networ...
-
2020配置綜合與驗證學(xué)術(shù)研究洞察報告
轉(zhuǎn)載請注明出處，本人能力有限，有不足、不對之處歡迎各位討論。全部圖已經(jīng)省略。 配置綜合與驗證學(xué)術(shù)研究洞察報告 1.1 配置綜合 網(wǎng)絡(luò)配置綜合是自...