График выхода журналов
  • №4 Декабрь 2019
    Статьи принимаются до: 10 Ноября 2019
  • №1 Март 2020
    Статьи принимаются до: 10 Февраля 2020
  • №2 Июнь 2020
    Статьи принимаются до: 10 Мая 2020

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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