Regisztráció és bejelentkezés

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)
Zavada Ármin
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
Mérnöki modellek konfigurálható szemantikájú verifikációja moduláris modellezési nyelv segítségével
Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2023. évi TDK konferencia » Modellezés és szimuláció szekció, 2023
Villamosmérnöki és Informatikai Kar » Modellezés és szimuláció téma
Molnár Vince Dr. ( MIT) , Graics Bence ( MIT)
Zavada Ármin
I. helyezett