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

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

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

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

    Язык спецификаций поведения программных компонентов

    Вычислительные машины и программное обеспечение
    Ицыксон В.М.Глухих М.И.
    • Год: 2010
    • Выпуск: 3
    • 2
    • 10123
    • Страницы: 63-70

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

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