Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples
复制标题
使用概率 FMEA 和概率反例对安全气囊系统进行安全分析
DOI：
10.1109/qest.2009.8
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Stefan Leue
中科院分区：
文献类型：
--
作者：
Husain Aljazzar;Manuel Fischer;Lars Grunske;Matthias Kuntz;Florian Leitner-Fischer;Stefan Leue
登录
查看更多内容
K*：一种用于查找 k 最短路径的定向即时算法
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
Husain Aljazzar;S. Leue
通讯作者：
S. Leue
正式支持安全关键系统中残留风险的定量分析
DOI：
--
发表时间：
2008
期刊：
2008 11th IEEE High Assurance Systems Engineering Symposium
影响因子：
--
作者：
Jonas Elmqvist;S. Nadjm
通讯作者：
S. Nadjm
通过模型检查提高系统可靠性：FSAP/NuSMV-SA 安全分析平台
DOI：
--
发表时间：
2003
期刊：
International Conference on Computer Safety, Reliability, and Security
影响因子：
--
作者：
M. Bozzano;Adolfo Villafiorita
通讯作者：
Adolfo Villafiorita
Distritrack：自动平均案例分析
DOI：
--
发表时间：
2007
期刊：
International Conference on Quantitative Evaluation of Systems
影响因子：
--
作者：
D. Hickey
通讯作者：
D. Hickey
偏差分析：模型检查的新用途
DOI：
--
发表时间：
2005
期刊：
International Conference on Automated Software Engineering
影响因子：
--
作者：
M. Heimdahl;Yunja Choi;M. Whalen
通讯作者：
M. Whalen