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

Absztrakt interpretációt használó keresési stratégiák Petri-háló alapú modellekhez

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2014 konferencia » Szoftver szekció, 2014

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

Vörös András Dr. ( MIT) , Tóth Tamás ( MIT) , Semeráth Oszkár Dr. ( MIT)

II. helyezett

Formális verifikációval támogatott tesztgenerálás autóipari környezetben

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

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

Vörös András Dr. ( MIT)

Dobos-Kovács Mihály

I. helyezett

Heterogén kiberfizikai rendszerek modellvezérelt fejlesztése

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

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

Vörös András Dr. ( MIT) , Graics Bence ( MIT)

Csuvarszki János Csanád

II. helyezett

Hierarchikus futásidejű verifikáció kritikus kiberfizikai rendszerekhez

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

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

Varró Dániel Dr. ( MIT) , Vörös András Dr. ( MIT) , Ráth István Dr. ( MIT)

Hegyi Bálint Bence , Balogh László Márk , Deé Flórián

II. helyezett

Komplex rendszerek modellezése és verifikációja

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2011 konferencia » Szoftver szekció, 2011

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

Bartha Tamás Dr. ( MIT) , Vörös András Dr. ( MIT)

Darvas Dániel , Jámbor Attila

I. helyezett