2. 您的位置
3. 首页
4. 学位论文
5. 基于事件约束的并发程序测试方法研究

基于事件约束的并发程序测试方法研究

来源 :华中科技大学 | 被引量 : 0次 | 上传用户：rztest

【作 者】

：

王静 

【出 处】

：

华中科技大学

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

基于MDA的面向服务平台对象建模工具的研究与实现

学位

虚拟膝关节镜手术中手术器械的运动控制与碰撞检测

学位

基于LKH的组播密钥管理技术的研究

学位

一种可减少演化代价的本体演化方法

学位

计量系统中数据库安全审计技术的应用研究

学位

基于BPM的疾控实验室信息管理系统的研究与实现

学位

序列编码区注释系统及非编码区预测系统研究

学位

基于SOA的印刷管理系统研究

学位

商业银行集中式客户信息系统的性能优化技术研究

学位

嵌入式图像压缩系统的程序优化技术研究

学位