Jámbor Attila OData támogatás

Témái

Aszinkron rendszerek modellellenőrzése párhuzamos technikákkal

Dr. Vörös András (MIT)
BSc képzés, mérnök informatikus szak, 2010-2011. ősz

Időzített modellek ellenőrzése szaturációs algoritmussal

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