Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01

Bibliographic Details
Main Author:	Коломеец, Антон Владимирович
Corporate Author:	Томский государственный университет
Other Authors:	Евтушенко, Нина Владимировна (Thesis advisor)
Format:	Book
Language:	Russian
Published:	Томск [б. и.] 2010
Subjects:	Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) диссертации автоматы расширенные мутационные автоматы конечные синтез тестов проверяющих (кибернетика математическая) модели неисправности (теория автоматов) FSM-срез автомата расширенного автоматы различающие тесты проверяющие, алгоритмы программная реализация алгоритмов, генерация дискретные управляющие системы программная реализация алгоритмов, ошибки автоматы расширенные, ошибки
Online Access:	Перейти в каталог НБ ТГУ

Description
Physical Description:	129,[1] ил.
Bibliography:	Библиогр.: л. 98 - 108

Similar Items