退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:纠正:通过统计模型检查确保智能环境辅助生活解决方案
Ashalatha Kunnappilly; Raluca Marinescu; Cristina Seceleanu;
机译:在环境辅助生活的人类活动的自动识别中使用时间逻辑和模型检查
机译:用于智能家庭能源管理和环境辅助生活的NILM技术:回顾
机译:环境辅助生活-通过M2M技术提供智能辅助
机译:通过统计模型检查确保智能环境辅助生活解决方案
机译:在环境辅助生活环境中使用危害交互层进行混合云模型检查
机译:基于模型检查的环境辅助生活解决方案分析框架
机译:基于模型检查的框架,用于分析环境辅助生活解决方案
机译:诊断内燃机压力传感器的故障包括使用建模的感应系统压力信号检查环境压力信号的合理性
机译:独居老人安全检查智能系统及其方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。