2. 您的位置
3. 首页
4. 学位论文
5. 基于验证模式的增量记忆型安全关键软件快速测试框架

基于验证模式的增量记忆型安全关键软件快速测试框架

来源 :电子科技大学 | 被引量 : 0次 | 上传用户：yanwuhui

【作 者】

：

邓智耀 

【出 处】

：

电子科技大学

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

其他文献

DVD嵌入式系统的GUI设计与实现

学位

NHibernate框架技术在电力生产管理系统的应用和实践

学位

挥之不去的阴影:中国高等教育获取的不平等

期刊

振动凸包控制低雷诺数高负荷低压涡轮叶栅层流分离的数值研究

期刊

基于业务导航模型的软件项目管理

学位

基于FPA成本估算的BtoC项目管理平台的设计与实现

学位

基于Native XML数据库的工作流研究与应用

学位

机务段化验室智能管理系统

学位

商业银行汽车消费信贷业务发展研究——以AQ银行与融资租赁公司合作模式为例

学位

广播全台网络业务管理子系统的设计与实现

学位