Детальная информация
| Название | Метод построения расширенных конечных автоматов по 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
