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

Смолов, Сергей Александрович. Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода [Электронный ресурс] = A method of extended finite state machines construction from HDL descriptions based on static analysis of source code / С.А. Смолов, А.С. Камкин. — Электрон. текстовые дан. (1 файл : 278 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – Санкт-Петербург, 2015. – № 1 (212). — (Конференция “Инструменты и методы анализа программ - 2014”). — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/5506.pdf>. — <URL:http://doi.org/10.5862/JCTCS.212.6>.

Дата создания записи: 22.05.2015

Тематика: Автоматов теория; Кодирование; Автоматические системы цифровые; функциональная верификация; HDL-модели

УДК: 004.415.5(045); 681.51.011(045)

Коллекции: Общая коллекция

Ссылки: DOI

Разрешенные действия: Прочитать Загрузить (279 Кб) Для чтения документа необходим Flash Player

Группа: Анонимные пользователи

Сеть: Интернет

Права на использование объекта хранения

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

Статистика использования документа

stat Количество обращений: 356
За последние 30 дней: 1
Подробная статистика