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 |