机译:对SPIN中BGP路由协议的收敛性进行建模和分析
BGP; Routing protocol; Convergence property; Model checking; Formal verification; SPIN;
机译:对SPIN中BGP路由协议的收敛性进行建模和分析
机译:模型检查BGP网络的收敛性
机译:模型检查BGP网络的收敛性
机译:目的地可达性和BGP收敛时间边界网关路由协议
机译:BGP的弹性域间路由:协议和可靠性工程。
机译:使用条件性Cre-lox小鼠模型分析Paneth细胞在小鼠肠再生中的作用的协议
机译:用于网络仿真和分析的路由协议模型