Affiliation of Author(s):计算机科学与技术学院/人工智能学院/软件学院
Journal:计算机科学
Translation or Not:no
Date of Publication:2017-08-10
Co-author:杨杰,zdp
Correspondence Author:Yan Xuefeng
Pre One:一种AADL故障模型到动态故障树的转换方法
Next One:一种基于动态故障树的SBDD方法
The Last Update Time:..