Пошук академічних текстів

Інформація × Реєстраційний номер 0121U110615, ( 0222U000381  0223U000108  ) Науково-дослідна робота Назва роботи Розроблення методів та засобів верифікації артефактів процесу проєктування систем критичного призначення Керівник роботи Шкарупило Вадим Вікторович, Дата реєстрації 18-04-2021 Організація виконавець Інститут проблем моделювання в енергетиці ім. Г. Є. Пухова Національної академії наук України Опис роботи Підвищення ефективності процесу проєктування систем критичного призначення з позиції рівня функціональної безпеки системи і компонентів – за рахунок розроблення відповідних методів та засобів верифікації. Додано в НРАТ 2024-12-09 Закрити