退出
我的积分:
中文文献批量获取
外文文献批量获取
赵旭; 王宇红; 陆地;
中国自动化学会;
故障预报; MPT软件; 混杂系统; 形式验证; 石化行业;
机译:基于形式验证的宽边扫描测试对过渡故障的冗余识别
机译:基于模型的故障管理设计解决方案的形式验证
机译:使用模型检查的离散事件系统间歇性故障可诊断性的形式验证
机译:基于混杂形式验证的故障预报技术
机译:评估复杂地形上基于卫星的云持久性和位移临近预报技术。
机译:基于项目反应论的日本成年人饮食行为量表的简短形式验证
机译:使用形式验证有效地设计和评估针对故障攻击的对策
机译:基于模型的故障检测和隔离,用于间歇活动故障,应用于航天器的基于运动的推进器故障检测和隔离
机译:基于形式验证的盖故障的基于波形的调试方法
机译:用于调试形式验证中的一个或多个可观察到的故障的系统,方法和计算机程序产品
机译:使用形式验证的有效的故障鉴定机制
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。