搜索页_消息序列

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

中图分类法(128)

经济(1)

工业技术(125)

交通运输(2)

航空、航天(1)

在“CNKI学位论文”中，命中：128条，耗时：小于0.01 秒

1.蓝牙协议的一致性和互操作性测试

作者：冷小羽

关键词：蓝牙协议 ; 一致性测试 ; 互操作性测试 ; 形式化描述 ; 测试序列

论文级别：硕士

学位年度：2004

2.实时协同设计系统中的同步性问题研究

作者：施尉霁

关键词：协同设计 ; 实时性 ; 同步操作 ; 冲突检测 ; 分布式计算

论文级别：硕士

学位年度：2004

3.多代理系统UML建模研究

作者：吕娜

论文级别：硕士

学位年度：2004

4.协议测试执行系统的实现及IPv6邻居发现协议的一致性测试

作者：孙美飞

关键词：协议一致性测试 ; 测试执行系统 ; 形式化方法 ; TTCN ; IPv6

论文级别：硕士

学位年度：2004

5.蓝牙协议栈的研究及其C语言实现

作者：张健

关键词：蓝牙 ; 无线联网 ; LAP ; DUNP ; LINUX

论文级别：硕士

学位年度：2003

6.基于UML的形式化面向对象软件测试用例辅助生成技术

作者：赖祥伟

关键词：面向对象 ; 测试用例 ; 规范化的软件测试 ; 测试流程 ; UML ; RAISE ; 操作语义 ; 消息序列 ; 测试断言

论文级别：硕士

学位年度：2003

7.嵌入式实时网络通信技术研究

作者：龚冰

关键词：嵌入式系统 ; 网络 ; 实时 ; 以太网 ; RTCC协议 ; TCP/IP协议 ; OSI参考模型

论文级别：硕士

学位年度：2003

8.基于UML状态图的类测试用例自动生成方法研究

作者：施凤鸣

关键词：面向对象 ; 软件测试 ; 测试用例自动生成 ; UML ; 状态图 ; 基于状态的测试

论文级别：硕士

学位年度：2003

9.基于串空间模型安全协议形式化方法的分析与扩展

作者：董学文

关键词：安全协议 ; 形式化 ; 串空间 ; 匿名性 ; ad ; hoc安全路由协议

论文级别：博士

学位年度：2011

10.无线传感器网络节点认证与安全检测研究

作者：黄建

关键词：无线传感器网络 ; 入侵检测 ; 公钥管理 ; 证书 ; DTN ; 认证

论文级别：博士

学位年度：2012

1

2

3

4

5

6

7

8

9

按检索点细分(128)

目录(74)

关键词(8)

摘要(56)

引文(16)

按论文级别细分(128)

博士(19)

硕士(109)

按学位年度细分(128)

1999年(1)

2002年(1)

2003年(4)

2004年(11)

2005年(12)

2006年(20)

2007年(18)

2008年(14)

2009年(7)

2010年(16)

2011年(14)

2012年(6)

2013年(3)

2014年(1)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700