@article{Efanov2025self-checking,
author={Efanov, D.V.},
title={Self-Checking Finite State Machines Based on Weight-Based Sum Codes and Properties of Self-Quasidual Boolean Functions},
journal={Transport automation research},
publisher={FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"},
year={2025},
pages={75-102},
volume={11},
issue={1},
}