С 17 марта 2020 г. для ресурсов (учебные, научные, материалы конференций, статьи из периодических изданий, авторефераты диссертаций, диссертации) ЭБ СПбПУ, обеспечивающих образовательный процесс, установлен особый режим использования. Обращаем внимание, что ВКР/НД не относятся к этой категории.

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

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

Разрешенные действия: Прочитать

Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

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

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

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

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

Статистика использования

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