Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода

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

	Таблица	Карточка	RUSMARC

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

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

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

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

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

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