基于输入输出分离标识转换系统的路由协议健壮性分析模型
周开波, 张治兵, 王小雨, 刘欣东
Input/Output labeled transition system based robustness analysis model of routing protocol
ZHOU Kaibo, ZHANG Zhibing, WANG Xiaoyu, LIU Xindong
信息通信技术与政策
.
2022, (4): 49
-56
.
DOI: 10.12267/j.issn.2096-5931.2022.04.009
