Horányi Gergő OData support

Theses

Runtime verification in distributed embedded systems using requirement based monitoring

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

Monitor synthesis for runtime checking of context-aware applications

Dr. Majzik István (MIT)
MSc degree, computer science and engineering programme, 2013-2014 Spring