График выхода изданий
-
№2 Июнь 2025
-
№3 Сентябрь 2025
-
№4 Декабрь 2025
Статьи по ключевому слову "верификация"
ResNet-SV: Быстрая и точная верификация спикера с использованием многоуровневого каскадного механизма внимания
- Год: 2025
- Том: 18
- Выпуск: 1
- 3
- 214
- Страницы: 60-71
Критерии покрытия требований в тестовых сценариях, сгенерированных из поведенческих моделей приложений
- Год: 2011
- Выпуск: 6
- 0
- 6566
- Страницы: 202-207
Тестирование цифровых систем, заданных высокоуровневыми спецификациями
- Год: 2011
- Выпуск: 6
- 1
- 6585
- Страницы: 62-70
Аксиоматический метод верификации на основе декомпозиции состояний в методе RGSEP
- Год: 2010
- Выпуск: 6
- 0
- 6513
- Страницы: 127-135
Автоматизация тестирования на основе покрытия пользовательских сценариев
- Год: 2012
- Выпуск: 4
- 0
- 6705
- Страницы: 123-126
Построение системы автоматизации статической и динамической проверки требований к программному продукту
- Год: 2012
- Выпуск: 4
- 0
- 6517
- Страницы: 119-123
Алгоритм обнаружения речевой активности на основе статистик основного тона в задаче распознавания диктора
- Год: 2010
- Выпуск: 4
- 0
- 6818
- Страницы: 18-23
Масштабирование выполнения тестового набора при автоматизированном тестировании
- Год: 2013
- Выпуск: 3
- 561
- 7012
- Страницы: 118-122
Автоматизация тестирования с использованием символических трасс
- Год: 2011
- Выпуск: 3
- 0
- 6684
- Страницы: 175-180
Автоматизация тестирования соответствия реализаций стандарту протокола безопасности транспортного уровня TLS
- Год: 2014
- Выпуск: 2
- 353
- 7026
- Страницы: 180-188
Верификация программно-конфигурируемых сетей при помощи системы UPPAAL
- Год: 2014
- Выпуск: 2
- 465
- 7358
- Страницы: 169-179
Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс
- Год: 2014
- Выпуск: 2
- 330
- 6991
- Страницы: 130-142
VERMONT – средство верификации программно-конфигурируемых сетей
- Год: 2015
- Выпуск: 1
- 316
- 6957
- Страницы: 74-87
Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода
- Год: 2015
- Выпуск: 1
- 260
- 7368
- Страницы: 60-73