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