|
101.
|
|
|
102.
|
|
|
103.
|
|
|
104.
|
|
|
105.
|
FSMTest-1.0: a manual for researches N. Shabaldina, M. Gromov by Shabaldina, Natalia V | Gromov, Maxim L | Томский государственный университет Радиофизический факультет Научные подразделения РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2015), Batumi, Georgia, September 26-29, 2015Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
106.
|
|
|
107.
|
|
|
108.
|
|
|
109.
|
|
|
110.
|
|
|
111.
|
|
|
112.
|
|
|
113.
|
Эксперименты по распознаванию вершин помеченного графа С. В. Сапунов by Сапунов, С. В. Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
114.
|
|
|
115.
|
|
|
116.
|
К синтезу тестов по мутационному автомату М. Л. Громов, М. Ю. Дорофеева, А. В. Коломеец by Громов, Максим Леонидович | Дорофеева, Маргарита Юрьевна | Коломеец, Антон Владимирович | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ. Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
Online access: Click here to access online Availability: No items available :
|
|
117.
|
|
|
118.
|
|
|
119.
|
Минимизация проверяющих тестов для конечных автоматов М. Дорофеева, И. Куфарева by Дорофеева, Маргарита Юрьевна | Куфарева, Ирина Борисовна. Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
120.
|
Оптимизация бинарной композиции автоматов С. В. Жарикова by Жарикова, С. В. Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
121.
|
Параллельная композиция конечных автоматов с таймаутами О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли by Кондратьева, Ольга Викторовна | Евтушенко, Нина Владимировна | Кавалли, Ана Роза | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format:
electronic
available online
Online access: Click here to access online Availability: No items available :
|
|
122.
|
|
|
123.
|
|
|
124.
|
|
|
125.
|
|
|
126.
|
|
|
127.
|
|
|
128.
|
|
|
129.
|
Improving protocol passive testing through "Gedanken" experiments with finite state machines N. Kushik, J. López, A. Cavalli, N. Yevtushenko by Kushik, Natalia G | Cavalli, Ana Rosa | Yevtushenko, Nina V | López, Jorge. Source: 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS), 1-3 August 2016, Vienna, AustriaMaterial type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
130.
|
|
|
131.
|
К минимизации автоматов с таймаутами А. С. Твардовский by Твардовский, Александр Сергеевич. Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
132.
|
|
|
133.
|
|
|
134.
|
|
|
135.
|
|
|
136.
|
|
|
137.
|
|
|
138.
|
|
|
139.
|
Testing digital circuits: studying the increment of the number of states and estimating the fault coverage E. Vinarskii, A. Laputenko, J. López, N. G. Kushik by Laputenko, Andrey V | López, Jorge | Kushik, Natalia G | Vinarskii, Evgenii. Source: 19th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM 2018), Erlagol, Altai Republic, 29 June - 3 July, 2018 : proceedingsMaterial type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
140.
|
О минимизации временных автоматов А. С. Твардовский by Твардовский, Александр Сергеевич. Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участиемMaterial type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
141.
|
On the length of homing sequences for nondeterministic finite state machines N. G. Kushik, N. V. Yevtushenko by Kushik, Natalia G | Yevtushenko, Nina V | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Радиофизический факультет Научные подразделения РФФ. Source: Implementation and Application of Automata : 18th International Conference, CIAA 2013 Halifax, NS, Canada, July 16-19, 2013 : ProceedingsMaterial type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
142.
|
|
|
143.
|
|
|
144.
|
|
|
145.
|
|
|
146.
|
Решение автоматного уравнения для многомодульной композиции С. В. Жарикова, Н. В. Евтушенко by Жарикова, С. В | Евтушенко, Нина Владимировна. Source: Доклады VI Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография"- SIBECRYPT' 07 (Республика Алтай, Горно-Алтайск, ГАГУ, 4-7 сентября 2007 г.)Material type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
147.
|
|
|
148.
|
Создание информационной системы "Автоматы" Г. Г. Сапунков, М. В. Ветрова by Сапунков, Глеб Г | Ветрова, Мария Викторовна | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
149.
|
|
|
150.
|
|