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

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

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

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

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