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

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

Предложен подход к проектированию спецификации управляющей части реактивного алгоритма, основанный на использовании процедуры проверки согласованности взаимодействующих автоматов....

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2013
Автор: Чеботарев, А.Н.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2013
Назва видання:Комп’ютерні засоби, мережі та системи
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/69703
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части / А.Н. Чеботарев // Комп’ютерні засоби, мережі та системи. — 2013. — № 12. — С. 11-19. — Бібліогр.: 6 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-69703
record_format dspace
spelling irk-123456789-697032014-10-19T03:02:01Z Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части Чеботарев, А.Н. Предложен подход к проектированию спецификации управляющей части реактивного алгоритма, основанный на использовании процедуры проверки согласованности взаимодействующих автоматов. Запропоновано підхід до проектування специфікації керуючої частини реактивного алгоритму, що базується на використанні процедури перевірки узгодженості взаємодіючих автоматів. 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. 2013 Article Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части / А.Н. Чеботарев // Комп’ютерні засоби, мережі та системи. — 2013. — № 12. — С. 11-19. — Бібліогр.: 6 назв. — рос. 1817-9908 http://dspace.nbuv.gov.ua/handle/123456789/69703 519.713.1 ru Комп’ютерні засоби, мережі та системи Інститут кібернетики ім. В.М. Глушкова НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
description Предложен подход к проектированию спецификации управляющей части реактивного алгоритма, основанный на использовании процедуры проверки согласованности взаимодействующих автоматов.
format Article
author Чеботарев, А.Н.
spellingShingle Чеботарев, А.Н.
Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части
Комп’ютерні засоби, мережі та системи
author_facet Чеботарев, А.Н.
author_sort Чеботарев, А.Н.
title Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части
title_short Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части
title_full Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части
title_fullStr Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части
title_full_unstemmed Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части
title_sort преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
publishDate 2013
url http://dspace.nbuv.gov.ua/handle/123456789/69703
citation_txt Преобразование ограничений на поведение операционной части реактивного алгоритма в ограничения на поведение его управляющей части / А.Н. Чеботарев // Комп’ютерні засоби, мережі та системи. — 2013. — № 12. — С. 11-19. — Бібліогр.: 6 назв. — рос.
series Комп’ютерні засоби, мережі та системи
work_keys_str_mv AT čebotarevan preobrazovanieograničenijnapovedenieoperacionnojčastireaktivnogoalgoritmavograničeniânapovedenieegoupravlâûŝejčasti
first_indexed 2023-10-18T18:57:02Z
last_indexed 2023-10-18T18:57:02Z
_version_ 1796145598803476480

Схожі ресурси