温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

一种基于故障树的待验属性提取方法、介质及设备，属于故障树分析技术领域。本发明的步骤包括，首先，通过对传统故障树中引入的时序逻辑关系对应的逻辑门来描述嵌入式软件的动态行为，对嵌入式软件组件故障之间的时序关系进行时序故障树建模；然后，定义基于时...
该专利属于中国航天系统科学与工程研究院所有，仅供学习研究参考，未经过中国航天系统科学与工程研究院授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。