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

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

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

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