Regisztráció és bejelentkezés

Vörös Asztrik

dolgozatok

Absztrakcióval támogatott hierarchikus keresési stratégiák a modellellenőrzés támogatására
Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2021. évi TDK konferencia » Beágyazott rendszerek szekció, 2021
Villamosmérnöki és Informatikai Kar » Beágyazott rendszerek téma
Vörös András Dr. ( MIT) , Molnár Vince Dr. ( MIT)
Vörös Asztrik
nincs helyezés
Igényvezérelt heurisztikaszámítás informált kereséssel támogatott absztrakció alapú modellellenőrzésben
Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2023. évi TDK konferencia » Beágyazott rendszerek szekció, 2023
Villamosmérnöki és Informatikai Kar » Beágyazott rendszerek téma
Szekeres Dániel ( MIT)
Vörös Asztrik
II. helyezett
Informált keresési stratégiák absztrakció alapú modellellenőrzésben
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) , Molnár Vince Dr. ( MIT) , Szekeres Dániel ( MIT)
Vörös Asztrik
I. helyezett