首页> 外文OA文献 >Erratum to: Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach

【2h】

Erratum to: Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach

机译：错误到：在高阶逻辑中的故障树形形式化：深度嵌入方法

代理获取

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

页面导航

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

著录项

作者
Waqar Ahmad; Osman Hasan;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Higher-Order Logic Formalization of Conformal Geometric Algebra and its Application in Verifying a Robotic Manipulation Algorithm [J] . Ma Sha, Shi Zhiping, Shao Zhenzhou, Advances in applied Clifford algebras . 2016,第4期

机译：保形几何代数的高阶逻辑形式化及其在验证机器人操纵算法中的应用
2. Formalization of Reliability Block Diagrams in Higher-order Logic [J] . Ahmed Waqar, Hasan Osman, Tahar Sofiene Journal of Applied Logic . 2016,第nova期

机译：高阶逻辑中可靠性框图的形式化
3. Formalization of linear space theory in the higher-order logic proving system [J] . Zhang J., Mao D., Guan Y. Journal of applied mathematics . 2013,第Pta2期

机译：高阶逻辑证明系统中线性空间理论的形式化
4. Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach [C] . Waqar Ahmed, Osman Hasan International Symposium on Dependable Software Engineering: Theories, Tools, and Applications . 2016

机译：高阶逻辑中故障树的形式化：一种深度嵌入方法
5. Detecting Component Failures and Critical Components in Safety Critical Embedded Systems Using Fault Tree Analysis [D] . Bhandaram, Abhinav. 2018

机译：使用故障树分析检测安全关键嵌入式系统中的组件故障和关键组件
6. Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic [O] . Bernd Neumayr, Christoph G. Schuetz, Manfred A. Jeusfeld, -1

机译：双重深度建模：具有双重效能的多层次建模及其在F-Logic中的形式化
7. Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach [O] . Ahmed, Waqar, Hasan, Osman 2016

机译：高阶逻辑中故障树的形式化：深度嵌入途径

Erratum to: Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach

著录项

引文网络

相似文献

相关主题

期刊订阅