Модель интерпритации высокоуровневых операторов LTL-логики
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Модель интерпритации высокоуровневых операторов LTL-логики
|
|
Creator |
Зайченко, С. А.
Литвинова, Е. И. Побеженко, И. А. |
|
Subject |
цифровые системы
автоматизированное проектирование |
|
Description |
На основе анализа математического аппарата линейной темпоральной логики в применении к верификации цифровых систем разрабатывается модель интерпретации высокоуровневых операторов LTL-логики для проверки справедливости формул во время симуляции – режим глобального времени.
|
|
Date |
2016-09-12T08:45:56Z
2016-09-12T08:45:56Z 2009 |
|
Type |
Article
|
|
Identifier |
Зайченко, С. А. Модель интерпритации высокоуровневых операторов LTL-логики / С. А. Зайченко, Е. И. Литвинова, И. А. Побеженко // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2009. – Вып. 149. – С. 96–111.
http://openarchive.nure.ua/handle/document/2358 |
|
Language |
ru
|
|
Publisher |
ХНУРЭ
|
|