Композиционный подход к проектированию реактивных алгоритмов

dc.contributor.authorЧеботарев, А.Н.
dc.date.accessioned2015-09-11T19:53:47Z
dc.date.available2015-09-11T19:53:47Z
dc.date.issued2013
dc.description.abstractЗапропоновано метод проектування складних автоматів за їх композиційною специфікацією мовою L. Композиційна специфікація складається із специфікацій автоматних модулів та зв’язків між ними. Автомат, що синтезується, одержується шляхом з’єднання графів переходів модулів, синтезованих за їх специфікаціями.uk_UA
dc.description.abstractA method for the development of complex finite state machines (FSMs) from their compositional specifications in the logical language L is proposed. A compositional specification consists of specifications of automata modules and interconnections between them. The FSM being synthesized is obtained by connecting the state transition graphs of modules synthesized from their specifications.uk_UA
dc.identifier.citationКомпозиционный подход к проектированию реактивных алгоритмов / А.Н. Чеботарев // Кибернетика и системный анализ. — 2013. — Т. 49, № 5. — С. 14-27. — Бібліогр.: 15 назв. — рос.uk_UA
dc.identifier.issn0023-1274
dc.identifier.udc519.713.1
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/86267
dc.language.isoruuk_UA
dc.publisherІнститут кібернетики ім. В.М. Глушкова НАН Україниuk_UA
dc.relation.ispartofКибернетика и системный анализ
dc.statuspublished earlieruk_UA
dc.subjectКибернетикаuk_UA
dc.titleКомпозиционный подход к проектированию реактивных алгоритмовuk_UA
dc.title.alternativeКомпозиційний підхід до проектування реактивних алгоритмівuk_UA
dc.title.alternativeCompositional approach to the development of reactive algorithmsuk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Завантаження...
Ескіз
Назва:
02-Chebotarev.pdf
Розмір:
147.96 KB
Формат:
Adobe Portable Document Format

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Завантаження...
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис: