TY JOUR TI Самодвойственные функциональные элементы для синтеза контролепригодных цифровых систем KW самодвойственная булева функция KW контроль вычислений KW контролепригодное устройство KW контроль самодвойственности KW самопроверяемая схема JO Автоматика на транспорте AU Ефанов, Д.В. AU Погодина, Т.С. PY 2023 IS 9 PB ФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I"