მოკლე ინფორმაცია

პროექტები

• სიმბოლური გადაწერის მეთოდები კრიტიკული კიბერ-ფიზიკური სისტემების უსაფრთხოებისთვის (G6133), 2023-2026.

მოხსენებები

• About verification techniques of cyber-physical systems, by Mikheil Rukhaia (Speaker), Besik Dundua, Tatia Dundua at XXXVIII International Enlarged Sessions of the Seminar of Ilia Vekua Institute of Applied Mathematics, Tbilisi, Georgia, 22-24 April, 2024.