%0 Journal Article
%T Self-Checking Finite State Machines Based on Weight-Based Sum Codes and Properties of Self-Quasidual Boolean Functions
%A Efanov, D.V.
%K self-checking discrete devices; self-checking finite state machine; embedded control circuit; weighted sum code; self-dual Boolean function; self-quasidual Boolean function; logical signal correction to self-quasidual ones; calculation control based on two diagnostic properties
%J Transport automation research
%D 2025
%N 11
%P 27
%I FSBEI HE &quot;Emperor Alexander I St. Petersburg State Transport University&quot;