CEGAR-alapú modellellenőrzés vizsgálata
Típus:
MSc diplomaterv
Félév:
2015. tavasz
Tématerület:
Kritikus beágyazott rendszerek
Konzulens (belső):
Vörös András 
