Method Based on SEFT-to-Petri for Safety Analysis of Software
System safety is a vital non-functional requirement whose satisfaction is essential for system software. However, modern aerospace system software is more and more complicated, which results in a high complexity of analyzing system faults. With the increased acceptance of Model-based Systems Enginee...
محفوظ في:
| المؤلفون الرئيسيون: | , , , , , |
|---|---|
| التنسيق: | Artigo |
| اللغة: | Inglês |
| منشور في: |
EDP Sciences
2018-01-01
|
| سلاسل: | MATEC Web of Conferences |
| الوصول للمادة أونلاين: | https://doi.org/10.1051/matecconf/201817903030 |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|