Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части
|
|
| Creator |
Чеботарев, А.Н.
|
|
| Description |
Предложен подход к проектированию спецификации управляющей части реактивного алгоритма, основанный на использовании процедуры проверки согласованности взаимодействующих автоматов.
Запропоновано підхід до проектування специфікації керуючої частини реактивного алгоритму, що базується на використанні процедури перевірки узгодженості взаємодіючих автоматів. An 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. |
|
| Date |
2014-10-18T18:25:56Z
2014-10-18T18:25:56Z 2013 |
|
| Type |
Article
|
|
| Identifier |
Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части / А.Н. Чеботарев // Комп’ютерні засоби, мережі та системи. — 2013. — № 12. — С. 11-19. — Бібліогр.: 6 назв. — рос.
1817-9908 http://dspace.nbuv.gov.ua/handle/123456789/69703 519.713.1 |
|
| Language |
ru
|
|
| Relation |
Комп’ютерні засоби, мережі та системи
|
|
| Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|