https://vital.lib.tsu.ru/vital/access/manager/Index ${session.getAttribute("locale")} 5 Синтез самопроверяемых дискретных устройств по BDD-реализациям их функционирования https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000320473 Thu 26 Oct 2017 09:47:45 KRAT ]]> Синтез самопроверяемого комбинационного детектора равновесных кодов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000320475 Mon 26 Jun 2017 16:22:40 KRAT ]]> Синтез следящих систем управления для объектов со случайными скачкообразными параметрами и мультипликативными возмущениями https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000320510 Mon 26 Jun 2017 16:22:38 KRAT ]]> Синтез комбинационных переключательных схем с заданным динамическим поведением https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000320477 Mon 26 Jun 2017 16:22:36 KRAT ]]>