Scientific Library of Tomsk State University

   Digital catalogue        

Refine your search

Your search returned 8 results.

1.
Оценка полноты проверки при пассивном тестировании на основе автоматной модели М. В. Жигулин

by Жигулин, Максим Владимирович.

Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
2.
Алгоритм синтеза проверяющего теста с гарантированной полнотой для конечных временных автоматов с фиксированным набором задержек относительно модели "черного ящика" И. М. Дмитриев, М. В. Жигулин, Д. Д. Попов

by Дмитриев, И. М | Жигулин, Максим Владимирович | Попов, Дмитрий Дмитриевич.

Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
3.
Синтез тестов для протокола TFTP на основе автоматной модели с таймаутами М. В. Жигулин, С. А. Прокопенко

by Жигулин, Максим Владимирович | Прокопенко, Светлана Анатольевна | Томский государственный университет Радиофизический факультет Научные подразделения РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
4.
5.
Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 Жигулин Максим Владимирович

by Жигулин, Максим Владимирович | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2012Online access: Click here to access online Availability: Items available for loan: (2).
6.
Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов М. В. Жигулин, С. А. Прокопенко, Н. В. Евтушенко

by Жигулин, Максим Владимирович | Прокопенко, Светлана Анатольевна | Евтушенко, Нина Владимировна | Томский государственный университет Радиофизический факультет Научные подразделения РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
7.
Дискретная математика Электронный ресурс электронное учебное пособие Громов М. Л., Жигулин М. В., Прокопенко С. А. ; Том. гос. ун-т, Ин-т дистанционного образования

by Прокопенко, Светлана Анатольевна | Громов, Максим Леонидович | Жигулин, Максим Владимирович | Томский государственный университет Институт дистанционного образования.

Material type: Computer file Computer file; Format: electronic available online remote Publication details: Томск ИДО ТГУ 2006Online access: Click here to access online Availability: No items available :
8.
Синтез диагностических тестов для программного обеспечения по срезам расширенного автомата С. А. Прокопенко, М. В. Жигулин, А. В. Коломеец, Н. В. Евтушенко

by Жигулин, Максим Владимирович | Коломеец, Антон Владимирович | Евтушенко, Нина Владимировна | Прокопенко, Светлана Анатольевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Радиофизический факультет Научные подразделения РФФ.

Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :