Информатика, телекоммуникации и управление
    Информатика, телекоммуникации и управлениеCанкт-Петербургский политехнический университет Петра Великого
    Издается с 2008
    ISSN 2687-0517
    ruРусский
    Версия для слабовидящих
    Подать статью
    График выхода изданий
    • №3 Сентябрь 2026
      Статьи принимаются до: 31 Августа 2026
    • №4 Декабрь 2026

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

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

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

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

    Информационные системы и программное обеспечение
    Котляров В.П.
    • Год: 2011
    • Выпуск: 6
    • 0
    • 8560
    • Страницы: 202-207

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Конференция Microsoft
    Тютин Б.В.Веселов А.О.Котляров В.П.
    • Год: 2013
    • Выпуск: 3
    • 561
    • 9030
    • Страницы: 118-122

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

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

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

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

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

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

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

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

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

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

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

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

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

    Конференция «Инструменты и методы анализа программ 2015»
    Мордвинов Д.А.Литвинов Ю.В.
    • Год: 2016
    • Выпуск: 1
    • 441
    • 9676
    • Страницы: 84-107

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

    Конференция «Инструменты и методы анализа программ – 2014»
    Захаров В.А.Алтухов В.С.Подымов В.В.Чемерицкий Е.В.
    • Год: 2015
    • Выпуск: 1
    • 316
    • 9048
    • Страницы: 74-87

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

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