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