Dolgozatok listázása

Listázási feltételek

Kar:
Tanszék:
Konzulens:
Konferencia:
Szekció:
Téma:
Szponzor:
Kari különdíj:
Egyetemi különdíj:
Év:	-tól -ig
Helyezés:
Kulcsszó:

dolgozatok

A kardiovaszkuláris rendszer non-invazív jellemzésének vizsgálata

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2016. évi TDK konferencia » Jelfeldolgozás szekció, 2016

Villamosmérnöki és Informatikai Kar » Jelfeldolgozás téma

Jobbágy Ákos Dr. ( MIT)

I. helyezett

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

Absztrakció alapú modellellenőrzési technikák valós idejű rendszerekhez

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

Marussy Kristóf ( MIT) , Dobos-Kovács Mihály ( MIT) , Szekeres Dániel ( MIT)

Cziborová Dóra , Béla Vizi

II. helyezett

Absztrakció alapú technikák CHC problémák hatékony megoldására

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2022. évi TDK konferencia » Beágyazott rendszerek szekció, 2022

Villamosmérnöki és Informatikai Kar » Beágyazott rendszerek téma

Vörös András Dr. ( MIT) , Bajczi Levente ( MIT) , Dobos-Kovács Mihály ( MIT)

Somorjai Márk István

I. helyezett

Absztrakció-alapú trace generálás formális verifikációs eszközök szemantikájának validációjára

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2022. évi TDK konferencia » Beágyazott rendszerek szekció, 2022

Villamosmérnöki és Informatikai Kar » Beágyazott rendszerek téma

Micskei Zoltán Dr. ( MIT)

I. helyezett