Знайдено документів: 1
Інформація × Реєстраційний номер 0111U004836, ( 0211U005837  ) Науково-дослідна робота Назва роботи Інтегрований підхід до аналізу та верифікації спеціфікацій телекомунікаційних програмних засобів для однопроцесорних та багатопроцесорних систем Керівник роботи Летичевський Олександр Адольфович, Дата реєстрації 13-10-2011 Організація виконавець Інститут кібернетики імені В.М. Глушкова НАН України Опис роботи Проект спрямовано на вирішення фундаментальної проблеми підвищення надійності програмного забезпечення телекомунікаційних систем для однопроцесорних та багатопроцесорних комп'ютерних комплексів на базі застосування формальних методів. Додано в НРАТ 2024-12-10 Закрити
НДДКР РК
Інтегрований підхід до аналізу та верифікації спеціфікацій телекомунікаційних програмних засобів для однопроцесорних та багатопроцесорних систем
Керівник: Летичевський Олександр Адольфович. Інтегрований підхід до аналізу та верифікації спеціфікацій телекомунікаційних програмних засобів для однопроцесорних та багатопроцесорних систем. Інститут кібернетики імені В.М. Глушкова НАН України. № 0111U004836
Знайдено документів: 1

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


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