График выхода изданий
  • №3 Сентябрь 2025
  • №4 Декабрь 2025

Статьи по ключевому слову "верификация"

ResNet-SV: Быстрая и точная верификация спикера с использованием многоуровневого каскадного механизма внимания

Устройства и системы передачи, приема и обработки сигналов
  • Год: 2025
  • Том: 18
  • Выпуск: 1
  • 8
  • 643
  • Страницы: 60-71

Критерии покрытия требований в тестовых сценариях, сгенерированных из поведенческих моделей приложений

Информационные системы и программное обеспечение
  • Год: 2011
  • Выпуск: 6
  • 0
  • 6863
  • Страницы: 202-207

Тестирование цифровых систем, заданных высокоуровневыми спецификациями

Аппаратные и программные средства систем управления
  • Год: 2011
  • Выпуск: 6
  • 1
  • 6895
  • Страницы: 62-70

Аксиоматический метод верификации на основе декомпозиции состояний в методе RGSEP

Математическое моделирование: методы, алгоритмы, технологии
  • Год: 2010
  • Выпуск: 6
  • 0
  • 6840
  • Страницы: 127-135

Автоматизация тестирования на основе покрытия пользовательских сценариев

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2012
  • Выпуск: 4
  • 0
  • 7044
  • Страницы: 123-126

Построение системы автоматизации статической и динамической проверки требований к программному продукту

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2012
  • Выпуск: 4
  • 0
  • 6814
  • Страницы: 119-123

Статический анализ требований реактивных систем

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2012
  • Выпуск: 4
  • 0
  • 7101
  • Страницы: 109-114

Алгоритм обнаружения речевой активности на основе статистик основного тона в задаче распознавания диктора

Проблемы передачи и обработки информации
  • Год: 2010
  • Выпуск: 4
  • 0
  • 7134
  • Страницы: 18-23

Верификация и автоматизация тестирования UML-проектов

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2009
  • Выпуск: 3
  • 0
  • 7494
  • Страницы: 220-225

Масштабирование выполнения тестового набора при автоматизированном тестировании

Конференция Microsoft
  • Год: 2013
  • Выпуск: 3
  • 561
  • 7321
  • Страницы: 118-122

Автоматизация тестирования с использованием символических трасс

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2011
  • Выпуск: 3
  • 0
  • 7038
  • Страницы: 175-180

Верификация алгоритма поддержки транзакционной памяти

Математическое моделирование: методы, алгоритмы, технологии
  • Год: 2010
  • Выпуск: 3
  • 0
  • 6662
  • Страницы: 107-111

Динамическая верификация гибридных систем

Конференция «Инструменты и методы анализа программ – 2013»
  • Год: 2014
  • Выпуск: 2
  • 746
  • 7781
  • Страницы: 189-203

Автоматизация тестирования соответствия реализаций стандарту протокола безопасности транспортного уровня TLS

Конференция «Инструменты и методы анализа программ – 2013»
  • Год: 2014
  • Выпуск: 2
  • 353
  • 7329
  • Страницы: 180-188

Верификация программно-конфигурируемых сетей при помощи системы UPPAAL

Конференция «Инструменты и методы анализа программ – 2013»
  • Год: 2014
  • Выпуск: 2
  • 465
  • 7677
  • Страницы: 169-179

Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс

Конференция «Инструменты и методы анализа программ – 2013»
  • Год: 2014
  • Выпуск: 2
  • 330
  • 7289
  • Страницы: 130-142

Обзор применения формальных методов в робототехнике

Конференция «Инструменты и методы анализа программ 2015»
  • Год: 2016
  • Выпуск: 1
  • 439
  • 7861
  • Страницы: 84-107

VERMONT – средство верификации программно-конфигурируемых сетей

Конференция «Инструменты и методы анализа программ – 2014»
  • Год: 2015
  • Выпуск: 1
  • 316
  • 7266
  • Страницы: 74-87

Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода

Конференция «Инструменты и методы анализа программ – 2014»
  • Год: 2015
  • Выпуск: 1
  • 260
  • 7697
  • Страницы: 60-73