240 发简信
IP属地:青海
  • 120
    2018-2019网络验证文章汇总

    转载请注明出处,本人能力有限,有不足、不对之处欢迎各位讨论。全部图已经省略。 NSDI 1.VeriFlow: Verifying Network-Wide Invarian...

  • 配置验证组

    东北大学FIT网络实验室,科研方向网络智能运维、网络配置综合、网络配置验证。 团队简介: 导师:李福亮 教授。 博士:3人。 硕士:7人。 所有内容不定期更新,转载请注明出处...

  • 2020配置综合与验证学术研究洞察报告

    转载请注明出处,本人能力有限,有不足、不对之处欢迎各位讨论。全部图已经省略。 配置综合与验证学术研究洞察报告 1.1 配置综合 网络配置综合是自动驾驶网络架构下的关键技术之一...

个人介绍
东北大学FIT实验室,网络智能运维,网络综合,网络验证。