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

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

Description
Physical Description:	145,[6] л. ил.
Bibliography:	Библиогр.: л. 130-137

Similar Items