Szkupien Péter

dolgozatok

A modelltranszformáció granularitásának hatása komponensalapú reaktív rendszerek formális ellenőrzésében

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)

Szkupien Péter

nincs helyezés

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