系统工程理论与实践
     
 首页  |  期刊介绍  |  编 委 会  |  投稿指南  |  期刊订阅  |  广告服务  |  友情链接  |  下载中心  |  联系我们  |  留言板  |  电子刊  
系统工程理论与实践  2014, Vol. 34 Issue (7): 1857-1867    DOI: 10.12011/1000-6788(2014)7-1857
论文 最新目录| 下期目录| 过刊浏览| 高级检索 |
信息物理融合系统可信软件形式化建模与分析
于振华1,2, 蔡远利3, 付晓1,2, 谢文军1, 徐海平4
1. 空军工程大学 信息与导航学院, 西安 710077;
2. 飞行器控制一体化技术重点实验室, 西安 710065;
3. 西安交通大学 电子与信息工程学院, 西安 710049;
4. Department of Computer and Information Science, University of Massachusetts Dartmouth, North Dartmouth 02747
Formal modeling and analyzing high-confidence software of cyber-physical systems
YU Zhen-hua1,2, CAI Yuan-li3, FU Xiao1,2, XIE Wen-jun1, XU Hai-ping4
1. School of Information and Navigation, Air Force Engineering University, Xi'an 710077, China;
2. Science and Technology on Aircraft Control Laboratory, Xi'an 710065, China;
3. School of Electronic and Information Engineering, Xi'an Jiaotong University, Xi'an 710049, China;
4. Department of Computer and Information Science, University of Massachusetts Dartmouth, North Dartmouth 02747, USA

版权所有 © 2011《系统工程理论与实践》编辑部
京ICP备05002806号-11 
地址:北京中关村东路55号 100190 电话: 010-82541428 Email: xtll@chinajournal.net.cn
本系统由北京玛格泰克科技发展有限公司设计开发  技术支持:support@magtech.com.cn