Advanced Saturation-based Model Checking
Típus:
MSc diplomaterv
Semester:
2014. ősz
Tématerület:
Kritikus beágyazott rendszerek
Konzulens (belső):
Tamás Bartha
Konzulens (belső):
András Vörös
Kivonat:
