Zavada Ármin

dolgozatok

Folyamatmodellek formális modellezése és verifikációja komponensalapú reaktív rendszerekben

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2021. évi TDK konferencia » Információs rendszerek szekció, 2021

Villamosmérnöki és Informatikai Kar » Információs rendszerek téma

Molnár Vince Dr. ( MIT) , Graics Bence ( MIT)

II. helyezett

Formális módszerekkel a jobb szabványokért: Az UML PSSM állapotgép-szemantika szabvány validációja

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2022. évi TDK konferencia » Szoftver szekció, 2022

Villamosmérnöki és Informatikai Kar » Szoftver téma

Molnár Vince Dr. ( MIT) , Elekes Márton ( MIT) , Graics Bence ( MIT)

Szkupien Péter , Zavada Ármin

II. helyezett