TY - BOOK AU - Каширова,Лилия Федоровна AU - Кеэваллик,А.Э. TI - Построение проверяющих тестов в процессе декомпозиционного синтеза управляющих автоматов: диссертация на соискание ученой степени кандидата технических наук : 05.13.01 PY - 1991/// CY - Таллин PB - [б. и.] KW - Управление в технических системах KW - nsnr KW - диссертации KW - автоматы управляющие KW - синтез автоматов декомпозиционный KW - тесты проверяющие KW - автоматы управляющие дискретные KW - автоматные сети KW - программируемые логические устройства KW - автоматы асинхронные контролируемые KW - дискретные управляющие системы KW - конечные автоматы KW - автоматы микропрограммные N1 - Библиогр.: л. 169 -177 ER -