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

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