График выхода журналов
-
№4 Декабрь 2023
Последние выпуски
- 2023, Том 16 Выпуск 2 Полный текст
- 2023, Том 16 Выпуск 1 Полный текст
- 2022, Том 15 Выпуск 4 Полный текст
- 2022, Том 15 Выпуск 3 Полный текст
Статьи из рубрики "Конференция «Инструменты и методы анализа программ – 2013»"
Конференция «Инструменты и методы анализа программ – 2013»
- Год: 2014
- Выпуск: 2
- 0
- 4542
- Страницы: 129-129
Автоматизация тестирования соответствия реализаций стандарту протокола безопасности транспортного уровня TLS
- Год: 2014
- Выпуск: 2
- 353
- 5011
- Страницы: 180-188
Верификация программно-конфигурируемых сетей при помощи системы UPPAAL
- Год: 2014
- Выпуск: 2
- 464
- 5345
- Страницы: 169-179
Применение симуляторов рынка ценных бумаг для тестирования систем агрегации и распределения информации о котировках (Ticker Plant)
- Год: 2014
- Выпуск: 2
- 287
- 4742
- Страницы: 153-168
Особенности инструментов для тестирования, применимых при промышленной эксплуатации трейдинговых систем
- Год: 2014
- Выпуск: 2
- 280
- 4905
- Страницы: 143-152
Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс
- Год: 2014
- Выпуск: 2
- 329
- 4969
- Страницы: 130-142