A BME VIK MIT-en működő Kritikus Rendszerek Kutatócsoport (ftsrg) július 4-én ünnepelte fennállásának 30. évfordulóját. A több mint 100 jelenlegi és volt kolléga, partner és hallgató körében megtartott eseményen a kutatócsoport munkatársai felidézték a csoport legfontosabb kutatási és oktatási eredményeit, valamint betekintést nyújtottak a blokkláncok, megbízható adatkezelés, modellalapú rendszertervezés, automatikus verifikáció és gráfgenerálás területén elért legfrissebb eredményeikbe.
Micskei Zoltán, 2024. július 10. 15:17 | Legutóbb frissítve: 2024. szeptember 18. 06:48