Научная библиотека ТГУ catalog › Results of search for 'su:"конечные автоматы"'

1.

A practical approach for testing timed deterministic finite state machines with single clock K. El-Fakih, N. Yevtushenko, A. Simao

by El-Fakih, Khaled | Yevtushenko, Nina V | Simao, Adenilso da Silva | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Science of Computer ProgrammingMaterial type: Article

Article; Format: electronic available online remote

Online access: Click here to access online Availability: No items available :

2.

	1.	No cover image available A practical approach for testing timed deterministic finite state machines with single clock K. El-Fakih, N. Yevtushenko, A. Simao by El-Fakih, Khaled \| Yevtushenko, Nina V \| Simao, Adenilso da Silva \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Science of Computer ProgrammingMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	No cover image available FSM-based testing from user defined faults adapted to incremental and mutation testing K. A. El-Fakih, R. Dorofeeva, N. V. Yevtushenko, G. V. Bochmann by Dorofeeva, R \| Yevtushenko, Nina V \| Bochmann, G. V \| El-Fakih, Khaled \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Programming and computer softwareMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available Оценка кратности выходного символа в обратимом автомате Д. А. Катеринский by Катеринский, Денис Аркадьевич \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра защиты информации и криптографии. Source: Прикладная дискретная математика. ПриложениеMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	No cover image available Об обратимости конечных автоматов с конечной задержкой Д. А. Катеринский by Катеринский, Денис Аркадьевич \| Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК. Source: Прикладная дискретная математика. ПриложениеMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	5.	No cover image available Cryptautomata: definition, cryptanalysis, example G. P. Agibalov by Agibalov, G. P, 1939-2020. Source: Прикладная дискретная математика. ПриложениеMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	6.	No cover image available Experiments on parallel composition of timed finite state machines A. P. Sotnikov, N. V. Shabaldina, M. L. Gromov by Sotnikov A. P \| Shabaldina, Natalia V \| Gromov, Maxim L. Source: Труды Института системного программирования РАНMaterial type: Article; Format: electronic available online Other title: Эксперименты no построению параллельной композиции временных автоматов.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	7.	No cover image available Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs I. Hwang, N. V. Yevtushenko, A. Cavalli by Hwang, Iksoon \| Yevtushenko, Nina V \| Cavalli, Ana Rosa \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Information processing lettersMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	8.	No cover image available О сложности проверки существования установочных последовательностей для недетерминированных автоматов Н. Г. Кушик, В. В. Кулямин, Н. В. Евтушенко by Кушик, Наталья Геннадьевна \| Кулямин, Виктор Вячеславович \| Евтушенко, Нина Владимировна \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: ПрограммированиеMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	9.	No cover image available Применение конечного автомата для одновременного поиска нескольких двоичных шаблонов в потоке данных И. В. Панкратов by Панкратов, Иван Владимирович \| Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК. Source: Прикладная дискретная математика. ПриложениеMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	10.	No cover image available К минимизации автоматов с таймаутами А. С. Твардовский by Твардовский, Александр Сергеевич \| Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ. Source: Труды Института системного программирования РАНMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	11.	No cover image available Использование свойств мутационных автоматов для минимизации проверяющих тестов К. Эль-Факи, Н. В. Евтушенко, М. Ю. Дорофеева by Эль-Факи, Калед \| Евтушенко, Нина Владимировна \| Дорофеева, Маргарита Юрьевна \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: ПрограммированиеMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	12.	No cover image available Оптимизация клиентской компоненты по критерию отсутствия лишних диалогов с сервером М. Л. Громов, С. А. Прокопенко, А. П. Сотников, Н. В. Шабалдина by Громов, Максим Леонидович \| Прокопенко, Светлана Анатольевна \| Сотников, Александр Павлович \| Шабалдина, Наталия Владимировна. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Other title: Optimization of the client component by the criterion of the absence of redundant dialogues with the server.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	13.	No cover image available Тестирование в контексте для реализации протокола TCP на основе автоматных моделей Н. М. Щипачев, Н. Г. Кушик by Щипачев, Никита Михайлович \| Кушик, Наталья Геннадьевна \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур \| Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ. Source: Известия высших учебных заведений. ФизикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	14.	No cover image available Параллельная композиция конечных автоматов с таймаутами О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли by Кондратьева, Ольга Викторовна \| Евтушенко, Нина Владимировна \| Кавалли, Ана Роза \| Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	15.	No cover image available Locating a faulty component of an EFSM composition S. Prokopenko by Prokopenko, Svetlana A \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Труды Института системного программирования РАНMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	16.	No cover image available Проверка свойств конечных автоматов с помощью набора инструментов mCRL2 М. Л. Громов, А. В. Лапутенко by Громов, Максим Леонидович \| Лапутенко, Андрей Владимирович \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур \| Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ. Source: Известия высших учебных заведений. ФизикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	17.	No cover image available Тестирование системы автоматов И. Б. Бурдонов, А. С. Косачев by Бурдонов, Игорь Борисович \| Косачев, Александр Сергеевич. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Other title: Testing of automata system.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	18.	No cover image available Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями А. С. Твардовский, Н. В. Евтушенко by Твардовский, Александр Сергеевич \| Евтушенко, Нина Владимировна \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Известия высших учебных заведений. ФизикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	19.	No cover image available О двухкаскадных конечно-автоматных криптографических генераторах и методах их криптоанализа Г. П. Агибалов, И. А. Панкратова by Агибалов, Геннадий Петрович, 1939-2020 \| Панкратова, Ирина Анатольевна кандидат физико-математических наук. Source: Прикладная дискретная математикаMaterial type: Article; Format: electronic available online Other title: About 2-cascade finite automata cryptographic generators and their cryptanalysis.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	20.	No cover image available Minimizing deterministic timed finite state machines D. Bresolin, A. Tvardovskii, N. V. Yevtushenko [et al.] by Tvardovskii, Aleksandr \| Yevtushenko, Nina V \| Villa, Tiziano \| Gromov, Maxim L \| Bresolin, Davide. Source: IFAC-PapersOnLineMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	21.	No cover image available Характеризация живых решений синхронного автоматного уравнения Т. Вилла, Н. В. Евтушенко, С. В. Жарикова by Вилла, Тизиано \| Евтушенко, Нина Владимировна \| Жарикова, Светлана Владимировна. Source: Вестник Томского государственного университетаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	22.	No cover image available К синтезу адаптивных различающих последовательностей для конечных автоматов А. С. Твардовский, Н. В. Евтушенко by Твардовский, Александр Сергеевич \| Евтушенко, Нина Владимировна. Source: Труды Института системного программирования РАНMaterial type: Article; Format: electronic available online Other title: Deriving adaptive distinguishing sequences for finite state machines.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	23.	No cover image available Одновременный поиск нескольких двоичных шаблонов в потоке с помощью конечного автомата И. В. Панкратов by Панкратов, Иван Владимирович \| Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК. Source: Прикладная дискретная математикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	24.	No cover image available Adaptive homing is in P N. G. Kushik, N. V. Yevtushenko by Kushik, Natalia G \| Yevtushenko, Nina V. Source: Electronic proceedings in theoretical computer scienceMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	25.	No cover image available Problems in theory of cryptanalytical invertibility of finite automata G. P. Agibalov by Agibalov, G. P, 1939-2020. Source: Прикладная дискретная математикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	26.	No cover image available Тестирование конечных автоматов в контексте: метод синтеза проверяющих тестов на основе сетевого эквивалента И. Б. Куфарева, В. Н. Тренькаев by Куфарева, Ирина Борисовна \| Тренькаев, Вадим Николаевич. Source: Вестник Томского государственного университетаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	27.	No cover image available К построению параллельной композиции расширенных автоматов Е. В. Широкова, С. А. Прокопенко, Н. В. Шабалдина by Широкова, Екатерина Владимировна \| Прокопенко, Светлана Анатольевна \| Шабалдина, Наталия Владимировна. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Other title: On deriving the parallel composition of extended finite state machines.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	28.	No cover image available Fully delay and multiple stuck-at fault testable sequential circuit design A. Y. Matrosova, S. A. Ostanin, E. A. Nikolaeva, I. E. Kirienko by Matrosova, Anzhela Yu \| Nikolaeva, Ekaterina A \| Kirienko, Irina E \| Ostanin, Sergey A \| Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	29.	No cover image available 50 лет криптографии в Томском государственном университете Г. П. Агибалов by Агибалов, Геннадий Петрович, 1939-2020. Source: Прикладная дискретная математикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	30.	No cover image available Cryptanalytic concept of finite automaton invertibility with finite delay G. P. Agibalov by Agibalov, G. P, 1939-2020. Source: Прикладная дискретная математикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	31.	No cover image available О возможностях автоматного описания параллельной композиции временных автоматов А. С. Твардовский, А. В. Лапутенко by Твардовский, Александр Сергеевич \| Лапутенко, Андрей Владимирович. Source: Труды Института системного программирования РАНMaterial type: Article; Format: electronic available online Other title: On the possibilities of FSM description of parallel composition of timed finite state machines.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	32.	No cover image available A TEFSM-based framework for QoE evaluation of OTT services D. Rivera, N. Kushik, C. Fuenzalida [et.al.] by Rivera, D \| Fuenzalida, C \| Cavalli, Ana Rosa \| Yevtushenko, Nina V \| Kushik, Natalia G \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Труды Института системного программирования РАНMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	33.	No cover image available О криптоаналитической обратимости с конечной задержкой конечных автоматов Г. П. Агибалов by Агибалов, Геннадий Петрович, 1939-2020. Source: Прикладная дискретная математика. ПриложениеMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	34.	No cover image available Криптоанализ двухкаскадного конечно-автоматного генератора с функциональным ключом И. В. Боровкова, И. А. Панкратова, Е. В. Семенова by Боровкова, Ирина Вячеславовна \| Панкратова, Ирина Анатольевна кандидат физико-математических наук \| Семенова, Екатерина Вадимовна. Source: Прикладная дискретная математикаMaterial type: Article; Format: electronic available online Other title: Cryptanalysis of 2-cascade finite automata generator with functional key.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	35.	No cover image available Deriving homing sequences for Finite State Machines with timeouts A. Tvardovskii, N. V. Yevtushenko by Tvardovskii, Aleksandr \| Yevtushenko, Nina V. Source: The computer journalMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	36.	No cover image available К криптоанализу двухкаскадных конечно-автоматных криптографических генераторов Г. П. Агибалов, И. А. Панкратова by Агибалов, Геннадий Петрович, 1939-2020 \| Панкратова, Ирина Анатольевна кандидат физико-математических наук. Source: Прикладная дискретная математика. ПриложениеMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	37.	No cover image available Синтез тестов для цифровых систем на высоком и низком уровнях абстракции А. В. Лапутенко, Е. М. Винарский by Лапутенко, Андрей Владимирович \| Винарский, Евгений Максимович. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Other title: Deriving tests for digital circuits at lower and higher abstraction levels.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	38.	No cover image available О локальной обратимости конечных автоматов без потери информации О. А. Логачев by Логачев, Олег Алексеевич. Source: Прикладная дискретная математикаMaterial type: Article; Format: electronic available online Other title: On the local invertibility of finite state information lossless automata.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	39.	No cover image available Refining specifications in adaptive testing of nondeterministic finite state machines A. F. Petrenko, N. V. Yevtushenko by Petrenko, Alexandre F \| Yevtushenko, Nina V. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	40.	No cover image available Cryptanalytical finite automaton invertibility with finite delay G. P. Agibalov by Agibalov, G. P, 1939-2020. Source: Прикладная дискретная математикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)

Scientific Library of Tomsk State University

E-catalog

Refine your search

Availability

Bibliographic level

Authors

Topics

База знаний по целевым капиталам

Your search returned 42 results.