PDF:
Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms
| Title | Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms |
| Publication Type | Journal Article |
| Year of Publication | 2017 |
| Authors | Molnár, V., and Majzik, I. |
| Journal | Periodica Polytechnica Electrical Engineering and Computer Science |
| Volume | 61 |
| Pagination | 132-150 |
| URL | https://pp.bme.hu/eecs/article/view/9755 |
| DOI | https://doi.org/10.3311/PPee.9755 |
