西安电子科技大学学报1999，Vol.26Issue(6)：P.789-792,4.
智能网业务验证技术
马玉祥 1周险峰 1顾伟平 1刘振宇 1李高和1
作者信息
- 1. 西安电子科技大学计算机学院,陕西西安710071
- 折叠
摘要
关键词
智能网/业务验证/Hoare逻辑/计算机网络分类
信息技术与安全科学引用本文复制引用
马玉祥,周险峰,顾伟平,刘振宇,李高和..智能网业务验证技术[J].西安电子科技大学学报,1999,26(6):P.789-792,4.基金项目
国家自然科学基金 （）
ISN 国家重点实验室资助项目 （）
