Smart Home; conflict resolution; model checking; requirements at runtime;
机译:SmartGuard:智能家庭的基于批次入侵检测系统
机译:时间建模及其在智能家居中异常检测中的应用
机译:基于形式规则模型的智能建筑系统冲突检测方案
机译:智能家居应用冲突检测与解决系统
机译:使用随机混合模型的模式识别及其在冲突检测和解决中的应用。
机译:复杂的物联网系统将推动智慧城市愿景中的智能家居
机译:MAS集成到家庭自动化系统中,用于解决智能家居中的电源管理问题