首页   |   期刊介绍   |   编 委 会   |   投稿指南   |   学术活动   |   期刊订阅   |   检索与收录   |   联系我们   |   专栏投稿 
小型微型计算机系统  2022, Vol. 43 Issue (9): 2005-2016    DOI:
最新目录| 下期目录| 过刊浏览| 高级检索 |
安全关键系统多范式建模及安全性分析方法
李书铭1,2,杨志斌1,2,谢健1,2,周勇1,2,陈静3
1(南京航空航天大学 计算机科学与技术学院,南京 211106)2(高安全系统的软件开发与验证技术工信部重点实验室,南京 211106) 3(北京计算机技术及应用研究所,北京 100854)
Multi-paradigm Modeling of Safetycritical Systems and Safety Analysis
LI Shu-ming1,2,YANG Zhi-bin1,2,XIE Jian1,2,ZHOU Yong1,2,CHEN Jing3
1(School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China)2(Key Laboratory of Safetycritical Software,Ministry of Industry and Information Technology,Nanjing 211106,China)3(Beijing Institute of Computer Technology and Application,Beijing 100854,China)


版权所有 © 《小型微型计算机系统》编辑部
主办单位:中国科学院沈阳计算技术研究所 主编:郭锐锋
国内邮发代号:8-108 国外发行代号:M349 通信地址:沈阳市浑南区南屏东路16号 邮编:110168
联系电话:(024)24696120 E-mail: xwjxt@sict.ac.cn
本系统由北京玛格泰克科技发展有限公司设计开发  技术支持:support@magtech.com.cn