Реализация процедур импликации на графовой структуре

Шкиль, А. С.; Чегликов, Д. И.; Зинченко, Д. Е.

Публікація:
Реализация процедур импликации на графовой структуре

dc.contributor.author	Шкиль, А. С.
dc.contributor.author	Чегликов, Д. И.
dc.contributor.author	Зинченко, Д. Е.
dc.date.accessioned	2016-09-13T09:54:09Z
dc.date.available	2016-09-13T09:54:09Z
dc.date.issued	2006
dc.description.abstract	В данной работе были разработаны внутреннее представление и программная модель процедур прямой и обратной импликации на графовых структурах с целью верификации фрагмента VHDL-кода.	uk_UA
dc.identifier.citation	Шкиль А. С. Реализация процедур импликации на графовой структуре / Шкиль А. С., Чегликов Д. И., Зинченко Д. Е. // Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС) - 2006	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/2456
dc.language.iso	ru	uk_UA
dc.publisher	Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС)	uk_UA
dc.subject	верификация	uk_UA
dc.subject	графовая структура	uk_UA
dc.subject	тест	uk_UA
dc.subject	прямая и обратная импликация	uk_UA
dc.subject	VHDL	uk_UA
dc.title	Реализация процедур импликации на графовой структуре	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication