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

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

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

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

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

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

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

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

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

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