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

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


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