Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части

dc.contributor.authorЧеботарев, А.Н.
dc.date.accessioned2014-10-18T18:25:56Z
dc.date.available2014-10-18T18:25:56Z
dc.date.issued2013
dc.description.abstractПредложен подход к проектированию спецификации управляющей части реактивного алгоритма, основанный на использовании процедуры проверки согласованности взаимодействующих автоматов.uk_UA
dc.description.abstractЗапропоновано підхід до проектування специфікації керуючої частини реактивного алгоритму, що базується на використанні процедури перевірки узгодженості взаємодіючих автоматів.uk_UA
dc.description.abstractAn approach to the development of a logical specification of the control part of a reactive algorithm is proposed based on the procedure of checking the compatibility of interacting automata.uk_UA
dc.identifier.citationПреобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части / А.Н. Чеботарев // Комп’ютерні засоби, мережі та системи. — 2013. — № 12. — С. 11-19. — Бібліогр.: 6 назв. — рос.uk_UA
dc.identifier.issn1817-9908
dc.identifier.udc519.713.1
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/69703
dc.language.isoruuk_UA
dc.publisherІнститут кібернетики ім. В.М. Глушкова НАН Україниuk_UA
dc.relation.ispartofКомп’ютерні засоби, мережі та системи
dc.statuspublished earlieruk_UA
dc.titleПреобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей частиuk_UA
dc.title.alternativeTransformation of restrictions to the behavior of operational part of a reactive algorithm into the restrictions to the behavior of its control partuk_UA
dc.typeArticleuk_UA

Файли

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

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

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

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