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

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