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