CADP与PIM-SM协议分析

• 作者: 王永滨 郭云飞 陆娜
• 来源期刊: 微电子学与计算机
• 关键词: PIM-SM LOTOS 协议工程 形式化方法 CADP
• 年，卷（期）: 2006,（z1）
• 页码范围: 60-62
• 页数: 3页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2006.z1.022

摘要

由于PIM-SM协议标准化进程还处在实验阶段,协议本身需要不断发展完善.提出PIM-SM组播系统的抽象模型,给出了协议实体的部分形式化描述,并使用CADP工具集对其进行简单验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王永滨		54	361	8.0	18.0
3	郭云飞		73	486	13.0	19.0
6	陆娜	中国传媒大学计算机与软件学院	1	0	0.0	0.0