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

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

    Конференция «Инструменты и методы анализа программ – 2013»

    Конференция «Инструменты и методы анализа программ – 2013»
    Ицыксон В.М.
    • Год: 2014
    • Выпуск: 2
    • 1
    • 8675
    • Страницы: 129-129

    Динамическая верификация гибридных систем

    Конференция «Инструменты и методы анализа программ – 2013»
    Пакулин Н.В.
    • Год: 2014
    • Выпуск: 2
    • 748
    • 9613
    • Страницы: 189-203

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

    Конференция «Инструменты и методы анализа программ – 2013»
    Никешин А.В.Пакулин Н.В.Шнитман В.З.
    • Год: 2014
    • Выпуск: 2
    • 353
    • 9200
    • Страницы: 180-188

    Верификация программно-конфигурируемых сетей при помощи системы UPPAAL

    Конференция «Инструменты и методы анализа программ – 2013»
    Подымов В.В.Попеско У.В.
    • Год: 2014
    • Выпуск: 2
    • 465
    • 9527
    • Страницы: 169-179

    Применение симуляторов рынка ценных бумаг для тестирования систем агрегации и распределения информации о котировках (Ticker Plant)

    Конференция «Инструменты и методы анализа программ – 2013»
    Булда А.Ю.Буянова О.А.Зверев А.В.
    • Год: 2014
    • Выпуск: 2
    • 288
    • 8693
    • Страницы: 153-168

    Особенности инструментов для тестирования, применимых при промышленной эксплуатации трейдинговых систем

    Конференция «Инструменты и методы анализа программ – 2013»
    Аверина А.А.Антонов Н.А.Иткин И.Л.
    • Год: 2014
    • Выпуск: 2
    • 280
    • 9000
    • Страницы: 143-152

    Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс

    Конференция «Инструменты и методы анализа программ – 2013»
    Иванников В.П.Камкин А.С.Чупилко М.М.
    • Год: 2014
    • Выпуск: 2
    • 330
    • 9120
    • Страницы: 130-142