机译:一种从成分安全分析生成可重用安全案例论点片段的方法
Mälardalen Real-Time Research Centre, Mälardalen University, Högskoleplan 1, Västerås, Sweden;
Mälardalen Real-Time Research Centre, Mälardalen University, Högskoleplan 1, Västerås, Sweden;
Mälardalen Real-Time Research Centre, Mälardalen University, Högskoleplan 1, Västerås, Sweden;
Mälardalen Real-Time Research Centre, Mälardalen University, Högskoleplan 1, Västerås, Sweden;
Intecs, SpA, Pisa, Italy;
Component-based architectures; Compositional safety analysis; Contract-based architectures; Modular argumentation; Safety argumentation reuse;
机译:关于耐火设计目标安全标准及其表达方式的分析研究-以耐火性能验证方法为目标的安全标准的估计-第2章耐火性能验证方法中隐含的安全水平的估计方法。
机译:领先的压力安全系统提供商Elfab已开发出符合欧洲ATEX指令(Atmospheres Explosibles)94/9 / EC的无创且可重复使用的检测器。使用本安保护方法,Integral Flo-Tel被授予
机译:熟悉齿触摸安全域在竖立齿轮对的非线性动力学和安全盆地的安全特性分析
机译:一种基于成分安全分析的可重用安全案例片段生成方法
机译:评估新的安全性,安全性-II:通过制造环境中的功能共振分析方法(FRAM)的效果
机译:一种横断面混合方法研究方案可从一般实践中报告的患者安全事件中学习
机译:对火地板出口安全性的特征输入值和预测公式中实施的安全因素的考虑:建筑物射击中出口的目标安全水平分析1
机译:Fort的安全分析报告。 st. Vrain测试元素Fte-1通过Fte-8。 Fort Fort Vrain核电站最终安全分析报告的拟议补编。