• Генерирование универсальных тестов для дискретных устройств на альтернативных графахUbar, Raimund-JohannesМетоды синтеза и диагностирования цифровых схем1985 / с. 51-60
• Декомпозиция конечных автоматов на основе информационного критерияKeevallik, Andres; Lausmaa, ToomasМетоды синтеза и диагностирования цифровых схем1985 / с. 3-11
• Декомпозиция микропрограммных автоматов с разделением выходных переменныхSudnitsõn, AleksanderМетоды синтеза и диагностирования цифровых схем1985 / с. 13-18
• Контрольные эксперименты с микропрограммными автоматамиKruus, MargusМетоды синтеза и диагностирования цифровых схем1985 / с. 45-50
• Математическая модель для задания структуры и функций микропроцессорных БИСLohuaru, Tõnu; Räisa, O.; Toome, T.Методы синтеза и диагностирования цифровых схем1985 / с. 75-81
• О моделировании длинных входных последовательностей в дискретных устройствах, содержащих счетные структурыUbar, Raimund-Johannes; Evartson, TeetМетоды синтеза и диагностирования цифровых схем1985 / с. 61-74
• Об одном подходе к формулированию целей проектированияŠendrik, M.G.; Tamm, Boris, inform.Методы синтеза и диагностирования цифровых схем1985 / с. 83-93
• Оптимизация базиса сети при декомпозиции микропрограммных автоматовLeis, Paul; Ellervee, PeeterМетоды синтеза и диагностирования цифровых схем1985 / с. 19-25
• Подход к организации данных для логического проектирования цифровых системAlango, Villem; Kitsnik, Peeter; Kont, ToomasМетоды синтеза и диагностирования цифровых схем1985 / с. 35-43
• Система автоматизации декомпозиционного синтеза дискретных управляющих устройств (DILOS)Keevallik, Andres; Sudnitsõn, Aleksander; Berkman, BorissМетоды синтеза и диагностирования цифровых схем1985 / с. 27-33