Hierarchikus futásidejű verifikáció kritikus kiberfizikai rendszerekhez
Típus:
Kari TDK
Félév:
2015. ősz
Tématerület:
Kritikus beágyazott rendszerek
Konzulens (belső):
Ráth István Zoltán
Konzulens (belső):
Varró Dániel
Konzulens (belső):
Vörös András
Jutalom:
2. helyezés 
