График выхода изданий
  • №4 Декабрь 2025
  • №1 Март 2026
    Статьи принимаются до: 27 Февраля 2026
  • №2 Июнь 2026
    Статьи принимаются до: 29 Мая 2026
  • №3 Сентябрь 2026
    Статьи принимаются до: 31 Августа 2026

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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