北京航空航天大学学报  2012, Vol. Issue (9): 1255-1260    
  论文 本期目录 | 过刊浏览 | 高级检索 |
基于顺序失效符的动态故障树形式规约
王波1, 刘东1, 李艺2
1. 装备学院 复杂电子系统仿真国防科技重点实验室, 北京 101416;
2. 装备学院, 科研部, 北京 101416
Formal specification of dynamic fault tree based on sequence failure symbol
Wang Bo1, Liu Dong1, Li Yi2
1. National Key Laboratory of Complex Electronic System Simulation, Academy of Equipment, Beijing 101416, China;
2. Department of Scientific Research, Academy of Equipment, Beijing 101416, China
版权所有 © 《北京航空航天大学学报》编辑部
地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 电子信箱:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发  技术支持:support@magtech.com.cn