График выхода изданий
- №2 Июнь 2026Статьи принимаются до: 29 Мая 2026
- №3 Сентябрь 2026Статьи принимаются до: 31 Августа 2026
- №4 Декабрь 2026
Последние выпуски
Статьи из рубрики "Конференция «Инструменты и методы анализа программ – 2013»"
Конференция «Инструменты и методы анализа программ – 2013»
- Год: 2014
- Выпуск: 2
- 1
- 8362
- Страницы: 129-129
Автоматизация тестирования соответствия реализаций стандарту протокола безопасности транспортного уровня TLS
- Год: 2014
- Выпуск: 2
- 353
- 8862
- Страницы: 180-188
Верификация программно-конфигурируемых сетей при помощи системы UPPAAL
- Год: 2014
- Выпуск: 2
- 465
- 9208
- Страницы: 169-179
Особенности инструментов для тестирования, применимых при промышленной эксплуатации трейдинговых систем
- Год: 2014
- Выпуск: 2
- 280
- 8687
- Страницы: 143-152
Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс
- Год: 2014
- Выпуск: 2
- 330
- 8813
- Страницы: 130-142