Formal Methods; Reliability; Smart House; Timed Automata; User Interface;
机译:跨智能房屋的基于场景的自适应推理系统
机译:跨智能房屋的基于场景的自适应推理系统
机译:基于场景的单人家庭智能服务
机译:要做和不做:安全智能房屋的受限情景
机译:标签约束方案中的对象分割和匹配
机译:回复信#E14-063AR1在怀孕期间更安全更明智地使用药物
机译:在已发布的能源情景中,对未来智能家庭在需求侧管理中的预期参与进行建模