Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИПМех РАН
Главная
Поиск
Статистика
О проекте
Помощь
Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода
статья
Статья опубликована в журнале из перечня ВАК
Авторы:
Смолов С.А.
,
Камкин А.С.
Журнал:
Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление
Год издания:
2015
Издательство:
Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский политехнический университет Петра Великого"
Местоположение издательства:
Санкт-Петербург
Первая страница:
60
Последняя страница:
73
Добавил в систему:
Корныхин Евгений Валерьевич