Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/2358
Title: Модель интерпритации высокоуровневых операторов LTL-логики
Authors: Зайченко, С. А.
Литвинова, Е. И.
Побеженко, И. А.
Keywords: цифровые системы
автоматизированное проектирование
Issue Date: 2009
Publisher: ХНУРЭ
Citation: Зайченко, С. А. Модель интерпритации высокоуровневых операторов LTL-логики / С. А. Зайченко, Е. И. Литвинова, И. А. Побеженко // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2009. – Вып. 149. – С. 96–111.
Abstract: На основе анализа математического аппарата линейной темпоральной логики в применении к верификации цифровых систем разрабатывается модель интерпретации высокоуровневых операторов LTL-логики для проверки справедливости формул во время симуляции – режим глобального времени.
URI: http://openarchive.nure.ua/handle/document/2358
Appears in Collections:Кафедра автоматизації проектування обчислювальної техніки (АПОТ)

Files in This Item:
File Description SizeFormat 
ASU_149_2009 (96-111).pdf618.01 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.