Знайдено документів: 1
Інформація × Реєстраційний номер 0108U000106, ( 0213U003294  ) Науково-дослідна робота Назва роботи Розробити теорію та методи інсерційного моделювання та верифікації багаторівневих взаємодіючих систем. Керівник роботи Летичевський Олександр Адольфович, Дата реєстрації 18-01-2008 Організація виконавець Інститут кібернетики імені В.М. Глушкова НАН України Опис роботи Розробка та обгрунтування методу інсерційного моделювання стосовно верифікації багаторівневих взаємодіючих систем. Додано в НРАТ 2024-12-10 Закрити
НДДКР РК
Розробити теорію та методи інсерційного моделювання та верифікації багаторівневих взаємодіючих систем.
Керівник: Летичевський Олександр Адольфович. Розробити теорію та методи інсерційного моделювання та верифікації багаторівневих взаємодіючих систем.. Інститут кібернетики імені В.М. Глушкова НАН України. № 0108U000106
Знайдено документів: 1

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


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