退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用正式模型检查的状态/事件故障树的定性分析
机译:使用形式化模型检查对状态/事件故障树进行定性分析
机译:使用模型检查的离散事件系统间歇性故障可诊断性的形式验证
机译:具有相关基本事件的故障树模型中的不确定性分析
机译:结合定理证明和模型检验的形式化动态故障树分析
机译:使用满意度模理论和自动机检查对电子系统级模型进行形式化分析。
机译:故障树分析在预防错误手术中的应用
机译:从故障树分析到逻辑控制器的模型检验
机译:综合树模型:故障树构造的形式化方法。
机译:离散事件仿真工具,用于分析连续处理系统的定性模型
机译:基于系统模型的静态故障树分析系统和方法
机译:从系统模型进行静态故障树分析的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。