Takács Róbert OData support

Theses

Monitor synthesis based on message sequence specification

Dr. Majzik István (MIT)
BSc degree, computer science and engineering programme, 2015-2016 Autumn