Композиционный подход к проектированию реактивных алгоритмов
dc.contributor.author | Чеботарев, А.Н. | |
dc.date.accessioned | 2015-09-11T19:53:47Z | |
dc.date.available | 2015-09-11T19:53:47Z | |
dc.date.issued | 2013 | |
dc.description.abstract | Запропоновано метод проектування складних автоматів за їх композиційною специфікацією мовою L. Композиційна специфікація складається із специфікацій автоматних модулів та зв’язків між ними. Автомат, що синтезується, одержується шляхом з’єднання графів переходів модулів, синтезованих за їх специфікаціями. | uk_UA |
dc.description.abstract | A 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.issn | 0023-1274 | |
dc.identifier.udc | 519.713.1 | |
dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/86267 | |
dc.language.iso | ru | uk_UA |
dc.publisher | Інститут кібернетики ім. В.М. Глушкова НАН України | uk_UA |
dc.relation.ispartof | Кибернетика и системный анализ | |
dc.status | published earlier | uk_UA |
dc.subject | Кибернетика | uk_UA |
dc.title | Композиционный подход к проектированию реактивных алгоритмов | uk_UA |
dc.title.alternative | Композиційний підхід до проектування реактивних алгоритмів | uk_UA |
dc.title.alternative | Compositional approach to the development of reactive algorithms | uk_UA |
dc.type | Article | uk_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
- Опис: