Segesdi Dániel OData támogatás

Témái

Temporális logikai specifikációk vizsgálata

Dr. Vörös András (MIT)
MSc képzés, mérnök informatikus szak, 2014-2015. ősz