Monitorok automatikus szintézise elosztott beágyazott rendszerek futásidőbeli verifikációjához

Típus: 
Kari TDK
Félév: 
2011. ősz
Tématerület: 
Kritikus beágyazott rendszerek
Konzulens (belső): 
Majzik István
Jutalom: 
1. helyezés