Знайдено документів: 1
Інформація × Реєстраційний номер 0116U004559, ( 0219U004138  ) Науково-дослідна робота Назва роботи Розробити формальні методи для автоматизованого тестування та верифікації систем критичних щодо безпеки. Керівник роботи Летичевський Олександр Адольфович, Дата реєстрації 03-06-2016 Організація виконавець Інститут кібернетики ім. В.М.Глушкова НАНУ Опис роботи Розробка нових формальних методів та відповідних засобів для підтримки процесу створення систем критичних щодо безпеки. Додано в НРАТ 2024-12-10 Закрити
НДДКР РК
Розробити формальні методи для автоматизованого тестування та верифікації систем критичних щодо безпеки.
Керівник: Летичевський Олександр Адольфович. Розробити формальні методи для автоматизованого тестування та верифікації систем критичних щодо безпеки.. Інститут кібернетики ім. В.М.Глушкова НАНУ. № 0116U004559
Знайдено документів: 1

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


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