TY JOUR TI Self-Dual Functional Gates for the Synthesis of Controllable Digital Systems KW self-dual Boolean function KW calculation checking KW controllable device KW selfduality testing KW self-checking circuit 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"