Maizl Noémi OData support

Theses

Testing of a safety-critical protocol based on a formal model

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