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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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