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