График выхода журналов
  • №3 Сентябрь 2022
  • №4 Декабрь 2022

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

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

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

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

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

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

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

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

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

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

Конференция «Инструменты и методы анализа программ – 2013»
  • Год: 2014
  • Выпуск: 2
  • 287
  • 3492
  • Страницы: 153-168

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

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

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

Конференция «Инструменты и методы анализа программ – 2013»
  • Год: 2014
  • Выпуск: 2
  • 329
  • 3749
  • Страницы: 130-142