Hierarchikus állapotgépek formális verifikációja
Témacsoport:
Ellenőrzés és tesztelés
Jelleg:
Elméleti és gyakorlati
Konzulens:
Molnár Vince
Konzulens:
Hajdu Ákos
TDK lehetőség:
TDK lehetőség
Megismerhető technológiák:
Yakindu, EMF, Java
Előismeretek:
algoritmuselmélet
Állapot:
Folyamatban 
