Deductive Hardware Design: A Functional Approach

机译：演绎硬件设计：一种功能方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Möller Bernhard (Prof. Dr.);
展开▼
作者单位

展开▼
年度 2006
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. An approach to automatic deductive synthesis of functional programs [J] . Yulia Korukhova Annals of Mathematics and Artificial Intelligence . 2007,第3a4期

机译：一种自动演绎功能程序的方法
2. A hierarchical deductive approach for functional types in disturbed ecosystems [J] . Pausas JG, Lavorel S Journal of Vegetation Science . 2003,第3期

机译：扰动生态系统中功能类型的分级演绎方法
3. Exploring the design of avatars for users from Arabian culture through a hybrid approach of deductive and inductive reasoning [J] . Computers in Human Behavior . 2020,第May期

机译：通过演绎和归纳推理的混合方法探索阿拉伯文化用户的化身设计
4. An automatic approach to perform the verification of hardware designs according to the ISO26262 functional safety standard [C] . E. Bagalini, J. Sini, M. Sonza Reorda, IEEE Latin American Test Symposium . 2017

机译：根据ISO26262功能安全标准进行硬件设计验证的自动方法
5. Hardware design for cryptographic protocols: An algorithmic state machine design approach. [D] . Zamora Garcia, Gerardo Alejandro. 2016

机译：加密协议的硬件设计：一种算法状态机设计方法。
6. A Preferential Design Approach for Energy-Efficient and Robust Implantable Neural Signal Processing Hardware [O] . Seetharam Narasimhan, Hillel J. Chiel, Swarup Bhunia -1

机译：节能耐用的可植入神经信号处理硬件的优先设计方法
7. Deductive Hardware Design: A Functional Approach [O] . Bernhard Möller 1997

机译：演绎硬件设计：一种功能方法
8. Microwave Landing System (MLS) Development Plan as Proposed by Raytheon During the Technique Analysis and Contact Definition Phase of the National MLS Development Program. Volume II:System Approach--Appendix A Functional Requirements Supporting Studies--Appendix B Detailed Feasibility Hardware Specs--Appendix C. [R] . 1974

机译：雷神公司在国家mLs开发计划的技术分析和联系定义阶段提出的微波着陆系统（mLs）发展计划。第二卷：系统方法 - 附录a功能要求支持研究 - 附录B详细可行性硬件规格 - 附录C.

Deductive Hardware Design: A Functional Approach

著录项

引文网络

相似文献

相关主题

期刊订阅