Знайдено документів: 1
Інформація × Реєстраційний номер 0113U000071, ( 0216U003108  ) Науково-дослідна робота Назва роботи Розробити алгоритми верифікації структурованих систем з мобільними агентами. Керівник роботи Летичевський Олександр Адольфович, Дата реєстрації 18-01-2013 Організація виконавець Інститут кібернетики імені В.М. Глушкова НАН України Опис роботи Метою досліджень є розробка ефективних алгоритмів верифікації систем, середовище яких має складну структуру та містить занурені взаємодіючі мобільні авгенти. Додано в НРАТ 2024-12-10 Закрити
НДДКР РК
Розробити алгоритми верифікації структурованих систем з мобільними агентами.
Керівник: Летичевський Олександр Адольфович. Розробити алгоритми верифікації структурованих систем з мобільними агентами.. Інститут кібернетики імені В.М. Глушкова НАН України. № 0113U000071
Знайдено документів: 1

Оновлено: 2026-03-14


Роздрукувати цю сторінку