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

Bibliographic Details
Main Author: Коломеец, А. В. Антон Владимирович (Author)
Corporate Author: Томский государственный университет
Other Authors: Евтушенко, Н. В. Нина Владимировна
Format: Book
Language:Russian
Published: Томск 2010
Subjects:
Online Access:https://viewer.rsl.ru/ru/rsl01004610145?page=1&rotate=0&theme=white
Перейти в каталог Библиотеки ТУСУР
Description
Physical Description:18 с.
Bibliography:Библиогр.: с. 17-18