Normal view
MARC view
Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Коломеец Антон Владимирович ; науч. рук. Евтушенко Н. В. ; Том. гос. ун-т
Material type: TextPublication details: Томск [б. и.] 2010Description: 129,[1] илSubject(s): Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) | диссертации | автоматы расширенные мутационные | автоматы конечные | синтез тестов проверяющих (кибернетика математическая) | модели неисправности (теория автоматов) | FSM-срез автомата расширенного | автоматы различающие | тесты проверяющие, алгоритмы | программная реализация алгоритмов, генерация | дискретные управляющие системы | программная реализация алгоритмов, ошибки | автоматы расширенные, ошибкиItem type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Выдается в читальный зал | Книгохранилище | 1-971128к (Browse shelf (Opens below)) | Available | 13820000731556 |
Библиогр.: л. 98 - 108
There are no comments on this title.