现代电子技术2009，Vol.32Issue(7)：151-153,156,4.
SIP协议系统模型的形式化研究
Formal Research of SIP Protocol System Model
摘要
关键词
形式化规范/SIP协议/SDL/MSC分类
信息技术与安全科学引用本文复制引用
李中华,穆维新,刘润杰,申金媛..SIP协议系统模型的形式化研究[J].现代电子技术,2009,32(7):151-153,156,4.基金项目
河南省杰出青年基金资助项目(512000400) （512000400）
河南省教育厅自然科学研究计划项目资助(2008B120010) （2008B120010）
