TY JOUR TI Synthesis of built-in control circuits for combinational digital devices based on Boolean signals correction using polynomial codes KW self-checking digital devices KW built-in control circuit KW combination devices of automation and computer technology KW Boolean signals correction KW polynomial codes JO Transport automation research AU Efanov, D.V. AU Grachev, A.A. AU Pivovarov, D.V. AU Abdullaev, R.B. AU Leskovets, I.V. PY 2024 IS 10 PB FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"