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

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


LEADER	02840nam a2200433 i 4500
001	vtls000391861
003	RU-ToGU
005	20240723113002.0
008	100915s2010 ru a f bm 000 0 rus d
035			\|a to000391861
039		9	\|a 201204111446 \|b 100 \|c 201011021450 \|d cat31 \|c 201011021448 \|d cat31 \|y 201009150838 \|z Александр Эльверович Гилязов
040			\|a RU-ToGU \|b rus \|c RU-ToGU
072		7	\|a 05.13.01 \|2 nsnr
080			\|a 519.713:519.718.7:004.42(043.3)
080			\|a 681.511.22.011/015(043.3)
100	1		\|a Коломеец, Антон Владимирович \|9 79068
245	1	0	\|a Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов \|b диссертация на соискание ученой степени кандидата технических наук : 05.13.01 \|c Коломеец Антон Владимирович ; науч. рук. Евтушенко Н. В. ; Том. гос. ун-т
260			\|a Томск \|b [б. и.] \|c 2010 \|9 688347
300			\|a 129,[1] \|b ил.
504			\|a Библиогр.: л. 98 - 108
650		7	\|a Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) \|2 nsnr \|9 114005
653			\|a диссертации
653			\|a автоматы расширенные мутационные
653			\|a автоматы конечные
653			\|a синтез тестов проверяющих (кибернетика математическая)
653			\|a модели неисправности (теория автоматов)
653			\|a FSM-срез автомата расширенного
653			\|a автоматы различающие
653			\|a тесты проверяющие, алгоритмы
653			\|a программная реализация алгоритмов, генерация
653			\|a дискретные управляющие системы
653			\|a программная реализация алгоритмов, ошибки
653			\|a автоматы расширенные, ошибки
700	1		\|a Евтушенко, Нина Владимировна \|4 ths \|9 70064
710	2		\|a Томский государственный университет. \|9 53646
852	4		\|a RU-ToGU \|n ru
856			\|y Перейти в каталог НБ ТГУ \|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=277840
999			\|c 277840 \|d 277840
952			\|0 0 \|1 0 \|4 0 \|6 1971128К \|7 0 \|9 488140 \|a RU-ToGU \|b RU-ToGU \|c 10024 \|d 2021-04-04 \|g 700.00 \|l 0 \|o 1-971128к \|p 13820000731556 \|r 2021-04-04 \|w 2021-04-04 \|y 1

Similar Items