https://vital.lib.tsu.ru/vital/access/manager/Index en-us 5 Троичное моделирование комбинационных схем с использованием ROBDD https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651616 Wed 10 Apr 2019 16:23:55 KRAT ]]> Определение труднообнаружимых неисправностей комбинационных схем https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585496 Wed 08 Nov 2017 14:59:54 KRAT ]]>