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

Інформація × Реєстраційний номер 0118U100479, ( 0222U003088  ) Науково-дослідна робота Назва роботи Розвиток теорії моделювання та верифікації складних програмних систем Керівник роботи Онищенко Бороис Олегович, Дата реєстрації 10-12-2018 Організація виконавець Черкаський національний університет імені Богдана Хмельницького Опис роботи Підвищення якості проектування складних програмних систем за рахунок розвитку комбінованих моделей та методів верифікації компонентів програмного забезпечення. Розробка методів і засобів моделювання та верифікації складних програмних систем. Додано в НРАТ 2024-12-10 Закрити