Модель интерпритации высокоуровневых операторов LTL-логики

Зайченко, С. А.; Литвинова, Е. И.; Побеженко, И. А.

Публікація:
Модель интерпритации высокоуровневых операторов LTL-логики

dc.contributor.author	Зайченко, С. А.
dc.contributor.author	Литвинова, Е. И.
dc.contributor.author	Побеженко, И. А.
dc.date.accessioned	2016-09-12T08:45:56Z
dc.date.available	2016-09-12T08:45:56Z
dc.date.issued	2009
dc.description.abstract	На основе анализа математического аппарата линейной темпоральной логики в применении к верификации цифровых систем разрабатывается модель интерпретации высокоуровневых операторов LTL-логики для проверки справедливости формул во время симуляции – режим глобального времени.	uk_UA
dc.identifier.citation	Зайченко, С. А. Модель интерпритации высокоуровневых операторов LTL-логики / С. А. Зайченко, Е. И. Литвинова, И. А. Побеженко // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2009. – Вып. 149. – С. 96–111.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/2358
dc.language.iso	ru	uk_UA
dc.publisher	ХНУРЭ	uk_UA
dc.subject	цифровые системы	uk_UA
dc.subject	автоматизированное проектирование	uk_UA
dc.title	Модель интерпритации высокоуровневых операторов LTL-логики	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication