计算机应用
     首页 |  广告服务 |  期刊介绍 |  编委会 |  期刊订阅 |  下载中心 |  审稿须知 |  联系我们 |  投稿常见问题解答 |  English Version
计算机应用
网络与通信(Network and communications) 最新目录| 下期目录| 过刊浏览| 高级检索 |
基于输入/输出动作的协议形式化描述和测试用例生成方法
顾翔 邱建林 严燕
南通大学 计算机科学与技术学院 南通大学 计算机科学与技术学院 南通大学 计算机科学与技术学院
Formal description and test cases generation of protocols based on input/output sequence
Xiang GU Jian-lin QIU Yan YAN



版权所有 ©2005 四川计算机应用杂志社有限公司
新出网证(川)字026号  蜀ICP备 05010208 号
地址:四川省成都市武侯区人民南路四段9号中国科学院成都分院《计算机应用》 编辑部
邮政编码: 610041 电话: 028-85224283-803 E-mail: bjb@joca.cn