Showing 1 - 9 results of 9 for search 'Жигулин, Максим Владимирович', query time: 0.02s Refine Results
  1. 1
    Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  2. 2
    Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
    Перейти в каталог НБ ТГУ
    Book
  3. 3
    Оценка полноты проверки при пассивном тестировании на основе автоматной модели
    Перейти в каталог НБ ТГУ
    Book Chapter
  4. 4
    Синтез тестов для протокола TFTP на основе автоматной модели с таймаутами
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  5. 5
    Разработка обучающей системы по курсу "Лазерное зондирование"
    Перейти в каталог НБ ТГУ
    Book Chapter
  6. 6
    Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 7
    Алгоритм синтеза проверяющего теста с гарантированной полнотой для конечных временных автоматов с фиксированным набором задержек относительно модели "черного ящика"
    Other Authors: “...Жигулин, Максим Владимирович...”
    Перейти в каталог НБ ТГУ
    Book Chapter
  8. 8
    Дискретная математика электронное учебное пособие
    Other Authors: “...Жигулин, Максим Владимирович...”
    Get full text
    eBook
  9. 9
    Синтез диагностических тестов для программного обеспечения по срезам расширенного автомата
    Other Authors: “...Жигулин, Максим Владимирович...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
Search Tools: Get RSS Feed