科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用组成可达性分析检查安全性能
Shing Chi Cheung; Jeff Kramer;
机译:对有针对性的外展服务的覆盖范围进行基于场所的分析,以向“难以接触的”人群提供机会性的社区NHS健康检查
机译:有效地将有限状态模型检查简化为可达性分析
机译:通过混合增量重新编码,可到达性分析和组合检查来验证相似的FSM
机译:在成分可达性分析中检查子系统安全性
机译:基于状态建模和成分模型检查的软件产品线安全性分析
机译:2008年至2014年根据REACH注册的9801种物质的公开可用安全数据的全球分析
机译:用于小型车辆的带有倾斜延伸臂的装载坡道-在透明端壁上有滚动轨道,在轨道上设有标记,可以清楚地检查是否达到安全角度。
机译:在属性检查中执行分析的度量
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。