00687naa#a2200205#i#450# EN\\bibl\81835 20250208160355.6 2412-9186 20161225b2016####ek#y0engy0150####ca RUS RU Checking of combinational circuits, based on sum codes with one weighted data bit Journal article Saint-Petersburg FSBEI HE "Emperor Alexander I St. Petersburg State Transport University" 2016 33 с. Journal article local . 681.518.5:004.052.32 RUS Sapozhnikov Valery V Sapozhnikov Vladimir V Efanov Dmitriy Viktorovich itt-pgups.ru