TY JOUR TI Building Self-Checking Digital Devices on the Basis of Modified Hamming Codes with Self-Duality Control for Being Calculated Functions KW self-checking device KW self-dual digital devices KW calculation control on the outputs of digital devices KW time redundancy KW self-dual control KW calculation control by modified Hamming codes JO Transport automation research AU Efanov, D.V. AU Pogodina, T.S. PY 2023 IS 9 PB FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"