Vince Molnár, István Majzik. Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms. Period. Polytech. Electr. Eng. Comput. Sci., 61(2):132-150, 2017. [doi]
@article{MolnarM17-1, title = {Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms}, author = {Vince Molnár and István Majzik}, year = {2017}, doi = {10.3311/ppee.9755}, url = {https://doi.org/10.3311/ppee.9755}, researchr = {https://researchr.org/publication/MolnarM17-1}, cites = {0}, citedby = {0}, journal = {Period. Polytech. Electr. Eng. Comput. Sci.}, volume = {61}, number = {2}, pages = {132-150}, }