Знайдено документів: 1
Інформація × Реєстраційний номер 0122U001882, ( 0225U002021  ) Науково-дослідна робота Назва роботи Моделювання та верифікація складних програмних систем Керівник роботи Супруненко Оксана Олександрівна, к.т.н. Дата реєстрації 21-02-2022 Організація виконавець Черкаський національний університет імені Богдана Хмельницького Опис роботи Підвищення якості проектування складних програмних систем шляхом вдосконалення методів аналізу динамічних властивостей їх моделей. Розробка методів і засобів моделювання та верифікації складних програмних систем. Додано в НРАТ 2024-12-09 Закрити
НДДКР РК
Моделювання та верифікація складних програмних систем
Керівник: Супруненко Оксана Олександрівна. Моделювання та верифікація складних програмних систем. Черкаський національний університет імені Богдана Хмельницького. № 0122U001882
Знайдено документів: 1

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


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