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

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


LEADER	02751nam a2200397 i 4500
001	vtls000425227
003	RU-ToGU
005	20240723112957.0
008	120410s2012 ru a f bm 000 0 rus d
035			\|a to000425227
039		9	\|a 201701251303 \|b 100 \|c 201302052029 \|d acqsadmin \|c 201204111520 \|d cat31 \|y 201204100814 \|z Александр Эльверович Гилязов
040			\|a RU-ToGU \|b rus \|c RU-ToGU
072		7	\|a 05.13.01 \|2 nsnr
080			\|a 519.718.7:519.713(043.3)
100	1		\|a Жигулин, Максим Владимирович \|9 83519
245	1	0	\|a Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов \|b диссертация на соискание ученой степени кандидата технических наук : 05.13.01 \|c Жигулин Максим Владимирович ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т
260			\|a Томск \|b [б. и.] \|c 2012 \|9 688347
300			\|a 121 л. \|b ил.
504			\|a Библиогр.: л. 104 - 113
650		7	\|a системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации \|2 nsnr \|9 114005
653			\|a диссертации
653			\|a автоматы конечные
653			\|a автоматы временные
653			\|a тестирование с гарантированной полнотой
653			\|a тесты полные (кибернетика математическая)
653			\|a синтез тестов проверяющих (кибернетика математическая
653			\|a управляющие системы дискретные (кибернетика математическая)
653			\|a методы теории автоматов
653			\|a TFTP, телекоммуникационный протокол
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=270037
999			\|c 270037 \|d 270037
952			\|0 0 \|1 0 \|4 0 \|6 2000030К \|7 0 \|9 473304 \|a RU-ToGU \|b RU-ToGU \|c 10024 \|d 2021-04-04 \|g 1000.00 \|l 0 \|o 2-000030к \|p 13820000803947 \|r 2023-03-14 \|w 2021-04-04 \|y 1

Similar Items