Normal view
MARC view
Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Жигулин Максим Владимирович ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т
Material type: TextPublication details: Томск [б. и.] 2012Description: 121 л. илSubject(s): системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации | диссертации | автоматы конечные | автоматы временные | тестирование с гарантированной полнотой | тесты полные (кибернетика математическая) | синтез тестов проверяющих (кибернетика математическая | управляющие системы дискретные (кибернетика математическая) | методы теории автоматов | TFTP, телекоммуникационный протокол | компьютерные экспериментыItem type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Выдается в читальный зал | Книгохранилище | 2-000030к (Browse shelf (Opens below)) | Available | 13820000803947 |
Библиогр.: л. 104 - 113
There are no comments on this title.