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