Hierarchikus állapotgépek formális verifikációja

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