×
模态框（Modal）标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框（Modal）标题
在这里添加一些文本
关闭
Toggle navigation
首页
期刊介绍
期刊简介
历史沿革
收录情况
获奖情况
引用指标
编委会
期刊在线
文章推荐
过刊浏览
专辑专刊
下载排行
阅读排行
投稿指南
组稿方向
投稿须知
论文模板
常见问题
署名变更申请
单位变更申请
版权转让协议
中图分类号
引言书写要求
参考文献著录格式
插图与表格规范
英文摘要书写要求
收费标准
学术诚信
联系我们
编辑部联系方式
位置示意图
期刊订阅办法
广告合作
English
基于输入/输出动作的协议形式化描述和测试用例生成方法
顾翔 邱建林 严燕
Formal description and test cases generation of protocols based on input/output sequence
Xiang GU Jian-lin QIU Yan YAN
计算机应用 . 2008, (
6
): 1471 -1474 .
