2. 您的位置
3. 首页
4. 学位论文
5. F-CX指控部件的设计优化与形式化验证

F-CX指控部件的设计优化与形式化验证

来源 :国防科学技术大学 | 被引量 : 0次 | 上传用户：longaizj21

【作 者】

：

刘金保 

【出 处】

：

国防科学技术大学

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

其他文献

SIMD结构中分支处理机制的设计与实现

学位

面向无线通信的基带处理器部件设计

学位

光学干涉膜下生菜的生理指标变化及品质分析网络首发

期刊

具有USB主机接口的嵌入式系统开发

学位

社区社会组织培育的社会工作介入研究——以H社区“8.16”急救先锋队为例

学位

M-X DSP节点数据访问控制器设计及验证

学位

小组工作介入社区老年组织发展研究——以成都市S社区为例

学位

基于纠删码的分布式存储访问优化技术研究

学位

固态存储系统PCIe接口的设计方法与实现

学位

基于ARIMA模型的臭氧的预测与分析（英文）

期刊