University of North Texas.;
Fault tree analysis; Meta-modelling; Requirements engineering; Risk analysis; Safety analysis; Safety critical embedded systems;
机译:安全关键型嵌入式系统中基于组件的动态适应建模和验证
机译:安全关键型汽车系统的基于组件的分层故障诊断
机译:评估民用RPAS系统的失效模式和失效的充分性和效用以及临界度分析和故障树分析方法
机译:具有软件组件的安全关键系统的故障模式和影响分析
机译:一种用于为基于组件的安全关键系统生成测试套件的新颖方法。
机译:肠粘液层的氧化修饰是创伤性失血性休克诱发的肠屏障功能衰竭的关键但无法识别的组成部分
机译:使用组件故障树将安全问题集成到嵌入式系统的安全分析中
机译:B-52B和B-52H空气发射系统失效临界结构件的应力分析