Tesztgenerálás állapotgép alapú modellekből
Típus:
Önálló laboratórium (MSc)
Semester:
2014. ősz
Tématerület:
Kritikus beágyazott rendszerek
Konzulens (belső):
Zoltán Micskei 
Témakiírás:
Tesztgenerálás állapotgép alapú modellekből 
