Nézzen körül
Regisztráció és bejelentkezés
Hajdu Ákos
dolgozatok
Diszkrét dinamikus rendszerek viselkedésének felderítése ellenpélda-alapú absztrakció finomítás (CEGAR) segítségével
Villamosmérnöki és Informatikai Kar
»
Villamosmérnöki és Informatikai Kar 2012
konferencia »
Modellezés és szimuláció
szekció,
2012
Villamosmérnöki és Informatikai Kar
»
Modellezés és szimuláció
téma
Bartha Tamás Dr.
(
MIT
)
,
Vörös András Dr.
(
MIT
)
Hajdu Ákos
I. helyezett