Детальная информация

Название Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2015. – № 1 (212)
Авторы Смолов Сергей Александрович ; Камкин Александр Сергеевич
Организация Министерство образования и науки Российской Федерации
Выходные сведения Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2015
Коллекция Общая коллекция
Тематика Автоматов теория ; Кодирование ; Автоматические системы цифровые ; функциональная верификация ; HDL-модели
УДК 004.415.5(045) ; 681.51.011(045)
Тип документа Статья, доклад
Тип файла PDF
Язык Русский
DOI 10.5862/JCTCS.212.6
Права доступа Свободный доступ из сети Интернет (чтение, печать, копирование)
Ключ записи RU\SPSTU\edoc\26730
Дата создания записи 22.05.2015

Разрешенные действия

Прочитать Загрузить (279 Кб)

Группа Анонимные пользователи
Сеть Интернет
Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все
Прочитать Печать Загрузить
Интернет Все

Количество обращений: 733 
За последние 30 дней: 6

Подробная статистика