Алгоритм синтеза проверяющего теста с гарантированной полнотой для конечных временных автоматов с фиксированным набором задержек относительно модели "черного ящика"

Bibliographic Details
Published in:	Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участием С. 50
Main Author:	Дмитриев, И. М.
Other Authors:	Жигулин, Максим Владимирович, Попов, Дмитрий Дмитриевич
Format:	Book Chapter
Language:	Russian
Subjects:	информационные технологии конечные автоматы автоматы временные труды ученых ТГУ проверяющие тесты алгоритмы
Online Access:	Перейти в каталог НБ ТГУ


LEADER	01946naa a2200337 i 4500
001	vtls000407350
003	RU-ToGU
005	20210404134221.0
008	110518s2010 ru f 100 0 rus d
035			\|a to000407350
039		9	\|y 201105181612 \|z Александр Эльверович Гилязов \|b Александр Эльверович Гилязов
040			\|a RU-ToGU \|b rus \|c RU-ToGU
080			\|a 004.8/.9
080			\|a 007:004.9
080			\|a 519.7:004.9
100	1		\|a Дмитриев, И. М. \|9 372114
245	1	0	\|a Алгоритм синтеза проверяющего теста с гарантированной полнотой для конечных временных автоматов с фиксированным набором задержек относительно модели "черного ящика" \|c И. М. Дмитриев, М. В. Жигулин, Д. Д. Попов
504			\|a Библиогр.: 4 назв.
653			\|a информационные технологии
653			\|a конечные автоматы
653			\|a автоматы временные
653			\|a труды ученых ТГУ
653			\|a проверяющие тесты
653			\|a алгоритмы
700	1		\|a Жигулин, Максим Владимирович \|9 83519
700	1		\|a Попов, Дмитрий Дмитриевич \|9 345940
773	0		\|t Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участием \|d Томск, 2010 \|g С. 50 \|z 9785895034408 \|w to000396658
852	4		\|a Ru-ToGU \|n ru
856			\|y Перейти в каталог НБ ТГУ \|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=297738
908			\|a статья
999			\|c 297738 \|d 297738

Similar Items