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

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

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

Similar Items