电子学报
 首页  |  期刊介绍  |  编 委 会  |  投稿指南  |  期刊订阅  |  综合信息  |  联系我们  |  致谢审稿人 | CJE
电子学报  2018, Vol. 46 Issue (12): 2824-2831    DOI: 10.3969/j.issn.0372-2112.2018.12.002
学术论文 最新目录| 下期目录| 过刊浏览| 高级检索 |
状态不可观测的信息物理融合系统运行时验证
房丙午1,2, 黄志球1, 王勇1, 李勇1
1. 南京航空航天大学计算机科学与技术学院, 江苏南京 210016;
2. 安徽财贸职业学院云桂信息学院, 安徽合肥 230061
Runtime Verification of States Unobservable Cyber-Physical System
FANG Bing-wu1,2, HUANG Zhi-qiu1, WANG Yong1, LI Yong1
1. College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu 210016, China;
2. School of YunGui Information, Anhui Finance and Trade Vocational College, Hefei, Anhui 230601, China

版权所有 © 2012 《电子学报》编辑部
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn
京ICP备12041980号-1