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

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

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

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

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