000 02065nam a2200385 i 4500
001 vtls000435452
003 RU-ToGU
005 20210922055255.0
008 121022s1991 ru a f bm 000 0 rus d
035 _ato000435452
040 _aRU-ToGU
_brus
_cRU-ToGU
072 7 _a05.13.01
_2nsnr
080 _a519.713:519.718.7(043.3)
080 _a681.511.22.013(043.3)
100 1 _aКаширова, Лилия Федоровна
_9388686
245 1 0 _aПостроение проверяющих тестов в процессе декомпозиционного синтеза управляющих автоматов
_bдиссертация на соискание ученой степени кандидата технических наук : 05.13.01
_cКаширова Лилия Федоровна ; науч. рук. А. Э. Кеэваллик ; Таллинский техн. ун-т
260 _aТаллин
_b[б. и.]
_c1991
300 _a182 л.
504 _aБиблиогр.: л. 169 -177
650 7 _aУправление в технических системах
_2nsnr
_957411
653 _aдиссертации
653 _aавтоматы управляющие
653 _aсинтез автоматов декомпозиционный
653 _aтесты проверяющие
653 _aавтоматы управляющие дискретные
653 _aавтоматные сети
653 _aпрограммируемые логические устройства
653 _aавтоматы асинхронные контролируемые
653 _aдискретные управляющие системы
653 _aконечные автоматы
653 _aавтоматы микропрограммные
700 1 _aКеэваллик, А. Э.
_4ths
_9388687
852 4 _aRU-ToGU
_nru
999 _c322643