计算机与数字工程2006，Vol.34Issue(7)：4-6,10,4.
基于SDL语言的SIP协议的形式化研究
Formal Description of SIP in SDL
赵静峰 1张力军1
作者信息
- 1. 北京航空航天大学计算机学院,北京,100083
- 折叠
摘要
关键词
SIP协议/SDL/形式化分类
信息技术与安全科学引用本文复制引用
赵静峰,张力军..基于SDL语言的SIP协议的形式化研究[J].计算机与数字工程,2006,34(7):4-6,10,4.基金项目
863计划课题(2003AA115420) （2003AA115420）
