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