首页> 外文OA文献 >Choosing FMECA-Based Techniques and Tools for Safety Analysis of Critical Systems

【2h】

Choosing FMECA-Based Techniques and Tools for Safety Analysis of Critical Systems

机译：选择基于FMECA的技术和工具，用于关键系统的安全分析

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Oleg Illiashenko; Eugene Babeshko;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems [J] . Tevfik Bultan, Constance Heitmeyer Design automation for embedded systems . 2008,第1a2期

机译：将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
2. Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems [J] . Tevfik Bultan, Constance Heitmeyer Design Automation for Embedded Systems . 2008,第1a2期

机译：将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
3. Safety-critical design for secure systems: Safety critical programs require a comprehensive approach, that combines the use of specialized languages and tools, rigorously controlled testing, and the use of formal methods [J] . Robert B. K. Dewar Embedded Systems Europe . 2006,第75期

机译：安全系统的关键安全设计：关键安全程序需要全面的方法，必须结合使用专门的语言和工具，严格控制的测试以及使用正式方法
4. A Strategy For Choosing The Proper Analysis Techniques For Safety Critical Software Applications [C] . International system safety conference . 2003

机译：选择安全关键软件应用程序适当分析技术的策略
5. Software lifecycle and analysis techniques for safety-critical computer-controlled systems. [D] . Mojdehbakhsh, Ramin. 1994

机译：安全关键型计算机控制系统的软件生命周期和分析技术。
6. An Evidence-Based Approach for Choosing Post-exercise Recovery Techniques to Reduce Markers of Muscle Damage Soreness Fatigue and Inflammation: A Systematic Review With Meta-Analysis [O] . Olivier Dupuy, Wafa Douzi, Dimitri Theurot, -1

机译：选择运动后恢复技术以减少肌肉损伤酸痛疲劳和炎症标志物的循证方法：一项荟萃分析的系统综述
7. A Survey of Safety Analysis Techniques for Safety Critical Systems [O] . Aamer Nadeem, Aftab Ali Haider 2013

机译：安全关键系统安全分析技术概述
8. Applying Infinite State Model Checking and Other Analysis Techniques to Tabular Requirements Specifications of Safety-Critical Systems [R] . Bultan, T., Heitmeyer, C. 2006

机译：将无限状态模型检验及其他分析技术应用于安全关键系统的表格要求规范

Choosing FMECA-Based Techniques and Tools for Safety Analysis of Critical Systems

著录项

引文网络

相似文献

相关主题

期刊订阅