Знайдено документів: 1
Керівник: Ткаченко Валерій Миколайович. Сучасні алгебраїчні, логічні та еволюційні методи верифікації, ідентифікації і керування дискретними і неперервними системами.. (Етап: Дослідження динамічних систем із скінченим числом станів, які задано розміченими графами або системами рівнянь над кільцями або полями.). Інститут прикладної математики і механіки НАН України. № 0311U003872
Знайдено документів: 1
Оновлено: 2026-03-28
