TY JOUR TI Study of algorithms for synthesis of self-checking digital devices based on Boolean correction of signals using weighted Bose – Lin codes KW testing of digital circuits KW self-checking device KW built-in control circuit KW Boolean signal correction KW weighted code with summation KW weighted Bose – Lin code JO Transport automation research AU Efanov, D.V. AU Elina, E.I. PY 2024 IS 10 PB FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"