Информатика, телекоммуникации и управление
    Информатика, телекоммуникации и управлениеCанкт-Петербургский политехнический университет Петра Великого
    Издается с 2008
    ISSN 2687-0517
    ruРусский
    Версия для слабовидящих
    График выхода изданий
    • №2 Июнь 2026
      Статьи принимаются до: 29 Мая 2026
    • №3 Сентябрь 2026
      Статьи принимаются до: 31 Августа 2026
    • №4 Декабрь 2026
    Последние выпуски

    Статьи из рубрики "Конференция «Инструменты и методы анализа программ – 2014»"

    Автоматизация интеграционного тестирования на примере модулей обмена данными по FIX-протоколу

    Конференция «Инструменты и методы анализа программ – 2014»
    Брекелов В.В.Борисов Е.А.Барыгин И.А.
    • Год: 2015
    • Выпуск: 1
    • 311
    • 9130
    • Страницы: 88-96

    VERMONT – средство верификации программно-конфигурируемых сетей

    Конференция «Инструменты и методы анализа программ – 2014»
    Захаров В.А.Алтухов В.С.Подымов В.В.Чемерицкий Е.В.
    • Год: 2015
    • Выпуск: 1
    • 316
    • 8971
    • Страницы: 74-87

    Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода

    Конференция «Инструменты и методы анализа программ – 2014»
    Смолов С.А.Камкин А.С.
    • Год: 2015
    • Выпуск: 1
    • 260
    • 9358
    • Страницы: 60-73