TY JOUR TI Self-Checking Discrete Device Synthesis Using Parity Code Properties and Self-Duality Boolean Functions KW discrete device fault detection; self-checking discrete device; Boolean complement self-duality control; parity computing check; concurrent error-detection circuit; control circuit component testability JO Transport automation research AU Efanov, D.V. PY 2025 IS 11 PB FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"