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

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

Holdings details from Научная библиотека ТГУ: Книгохранилище
Call Number:	1-926925к
	Available Place a Hold

Similar Items