东南大学学报：自然科学版2008，Vol.38Issue(A01)：P.28-33,6.
基于CSP的网络协议描述与仿真
摘要
关键词
形式化描述语言/通信顺序进程/协议仿真/系统建模分类
信息技术与安全科学引用本文复制引用
宋金晶,沈军..基于CSP的网络协议描述与仿真[J].东南大学学报：自然科学版,2008,38(A01):P.28-33,6.基金项目
国家重点基础研究发展计划(973计划)资助项目(2003CB314801 （973计划）
2009CB320501) （）
国家重点基础研究发展计划(973计划)资助项目(2003CB314801 （973计划）
2009CB320501) （）
