PDF:
Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms
| Cím | Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms |
| Közlemény típusa | Journal Article |
| Kiadás éve | 2017 |
| Szerzők | Molnár, V., and Majzik, I. |
| Folyóirat | Periodica Polytechnica Electrical Engineering and Computer Science |
| Kötet | 61 |
| Pagination | 132-150 |
| URL | https://pp.bme.hu/eecs/article/view/9755 |
| DOI | https://doi.org/10.3311/PPee.9755 |
