Hierarchikus futásidejű verifikáció kritikus kiberfizikai rendszerekhez

További szerzők: 
Típus: 
Kari TDK
Semester: 
Fall 2015
Tématerület: 
Kritikus beágyazott rendszerek
Konzulens (belső): 
István Ráth
Konzulens (belső): 
Dániel Varró
Konzulens (belső): 
András Vörös
Jutalom: 
2. helyezés