Знайдено документів: 1
Інформація × Реєстраційний номер 0123U100772, Науково-дослідна робота Назва роботи Розробити теоретичні засади та формальні методи аналізу, верифікації та тестування кіберфізичних систем, що критичні до безпеки, на основі інсерційного моделювання та методів штучного інтелекту Керівник роботи Летичевський Олександр Олександрович, д.ф.-м.н. Дата реєстрації 02-02-2023 Організація виконавець Інститут кібернетики імені В. М. Глушкова Національної академії наук України Опис роботи Мета роботи – розробка методів створення моделей кібер-фізичних систем в системі інсерційного моделювання та використання формальних методів для їх верифікації та тестування, зокрема, в оборонній, аерокосмічній, медичній, хімічній галузях. Додано в НРАТ 2024-12-09 Закрити
НДДКР РК
Розробити теоретичні засади та формальні методи аналізу, верифікації та тестування кіберфізичних систем, що критичні до безпеки, на основі інсерційного моделювання та методів штучного інтелекту
Керівник: Летичевський Олександр Олександрович. Розробити теоретичні засади та формальні методи аналізу, верифікації та тестування кіберфізичних систем, що критичні до безпеки, на основі інсерційного моделювання та методів штучного інтелекту. Інститут кібернетики імені В. М. Глушкова Національної академії наук України. № 0123U100772
Знайдено документів: 1

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


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