[AFG+09]
H. Aljazzar, M. Fischer, L. Grunske, M. Kuntz, F. Leitner and S. Leue.
Safety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples.
In Proc. 6th International Conference on Quantitative Evaluation of Systems (QEST'09).
2009.
[bib]
|
Links:
[Google]
[Google Scholar]
|