Barabás Bonifác OData támogatás

Témái

Objektum orientált verifikációs eljárások

Dr. Fehér Béla (MIT)
BSc képzés, villamosmérnöki szak, 2010-2011. tavasz

Ipari kommunikációs rendszer modellezése és verifikációja

Dr. Fehér Béla (MIT)
MSc képzés, villamosmérnöki szak, 2012-2013. ősz