TY  JOUR
TI  Self-Checking Finite State Machines Based on Weight-Based Sum Codes and Properties of Self-Quasidual Boolean Functions
KW  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
JO  Transport automation research
AU  Efanov, D.V.
PY  2025
IS  11
PB  FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"