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