График выхода изданий
-
№2 Июнь 2025
-
№3 Сентябрь 2025
-
№4 Декабрь 2025
Последние выпуски
- 2025, Том 18 Выпуск 1 Полный текст
- 2024, Том 17 Выпуск 4 Полный текст
- 2024, Том 17 Выпуск 3 Полный текст
- 2024, Том 17 Выпуск 2 Полный текст
Статьи из рубрики "Конференция «Инструменты и методы анализа программ – 2013»"
Конференция «Инструменты и методы анализа программ – 2013»
- Год: 2014
- Выпуск: 2
- 1
- 6593
- Страницы: 129-129
Автоматизация тестирования соответствия реализаций стандарту протокола безопасности транспортного уровня TLS
- Год: 2014
- Выпуск: 2
- 353
- 7083
- Страницы: 180-188
Верификация программно-конфигурируемых сетей при помощи системы UPPAAL
- Год: 2014
- Выпуск: 2
- 465
- 7412
- Страницы: 169-179
Применение симуляторов рынка ценных бумаг для тестирования систем агрегации и распределения информации о котировках (Ticker Plant)
- Год: 2014
- Выпуск: 2
- 288
- 6700
- Страницы: 153-168
Особенности инструментов для тестирования, применимых при промышленной эксплуатации трейдинговых систем
- Год: 2014
- Выпуск: 2
- 280
- 6945
- Страницы: 143-152
Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс
- Год: 2014
- Выпуск: 2
- 330
- 7040
- Страницы: 130-142