论文部分内容阅读
基于形式化描述的协议测试序列生成技术
【出 处】
:
中国科学院研究生院(计算技术研究所)
【发表日期】
:
2000年01期
其他文献