太原理工大学学报2016，Vol.47Issue(2)：212-217,6.DOI:10.16355/j.cnki.issn1007-9432tyut.2016.02.017
智能家居平台构件适应与协同模型及形式化分析
The Formal Analysis of Component Adaptation and Interaction of Frameworks for Smart Home
摘要
关键词
智能家居平台/构件适应/构件协同/形式化Key words
sart home frameworks/component adaptation/component interaction/formal methods分类
信息技术与安全科学引用本文复制引用
李爱萍,马俊伟,段利国..智能家居平台构件适应与协同模型及形式化分析[J].太原理工大学学报,2016,47(2):212-217,6.基金项目
山西省科技攻关资助项目(工业):遗留软件再工程的研究与实现(20120321030) （工业）
太原理工大学校科技发展基金资助项目(2012L067) （2012L067）
