陈宽,陈俊亮. 物联网服务系统运行时验证系统的研究与实现[EB/OL]. 北京:中国科技论文在线 [2017-11-14]. http://www.paper.edu.cn/releasepaper/content/201711-46. 此文件来自 中国科技论文在线 请勿作用于商业用途!