Тестовая верификация поведенческих языковых моделей цифровых устройств

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

dc.contributor.author	Шкиль, А. С.
dc.contributor.author	Сыревич, Е. Е.
dc.contributor.author	Карасев, А. Л.
dc.contributor.author	Чегликов, Д. И.
dc.date.accessioned	2016-09-13T13:02:52Z
dc.date.available	2016-09-13T13:02:52Z
dc.date.issued	2006
dc.description.abstract	Предлагается процедура верификации моделей цифровых устройств, описанных с помощью языков описания аппаратуры.	uk_UA
dc.identifier.citation	Тестовая верификация поведенческих языковых моделей цифровых устройств / А. С. Шкиль, Е. Е. Сыревич, А. Л. Карасев, Д. И. Чегликов // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : Изд-во ХНУРЭ, 2006. – Вып. 134. – С. 4–13.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/2487
dc.language.iso	ru	uk_UA
dc.publisher	ХНУРЭ	uk_UA
dc.subject	верификация моделей	uk_UA
dc.subject	язык описания аппаратуры	uk_UA
dc.title	Тестовая верификация поведенческих языковых моделей цифровых устройств	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication