Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms

CímModel Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms
Közlemény típusaJournal Article
Kiadás éve2017
SzerzőkMolnár, V., and Majzik, I.
FolyóiratPeriodica Polytechnica Electrical Engineering and Computer Science
Kötet61
Pagination132-150
URLhttps://pp.bme.hu/eecs/article/view/9755
DOIhttps://doi.org/10.3311/PPee.9755
PDF: