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