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

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