Электронная библиотека (репозиторий) Томского государственного университета

Add to Quick Collection   All 5 Results

Showing items 1 - 5 of 5.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Синтез диагностических тестов для программного обеспечения по срезам расширенного автомата
Authors: Жигулин, Максим Владимирович | Коломеец, Антон Владимирович | Евтушенко, Нина Владимировна | Прокопенко, Светлана Анатольевна
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 200-202
Type: статьи в журналах
Date: 2013
Add   Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01.
Authors: Жигулин, Максим Владимирович
Type: авторефераты диссертаций
Date: 2012
Add   Синтез тестов для протокола TFTP на основе автоматной модели с таймаутами
Authors: Жигулин, Максим Владимирович | Прокопенко, Светлана Анатольевна
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 9/2. С. 337-338
Type: статьи в журналах
Date: 2012
Add   Дискретная математика : электронное учебное пособие
Authors: Прокопенко, Светлана Анатольевна | Громов, Максим Леонидович | Жигулин, Максим Владимирович
Type: учебные издания
Date: 2006
Description: Лабораторный практикум содержит комплекс задач и контрольных вопросов к электронному курсу "Дискретная математика". Ресурс разработан в рамках Инновационной образовательной программы ТГУ и предназначе ... More
Add   Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов
Authors: Жигулин, Максим Владимирович | Прокопенко, Светлана Анатольевна | Евтушенко, Нина Владимировна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 59-62
Type: статьи в сборниках
Date: 2006
  • «
  • ←
  • 1
  • →
  • »
^