Segesdi Dániel

dolgozatok

Múlt és jövő: Új algoritmusok lineáris temporális tulajdonságok szaturáció-alapú modellellenőrzésre

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2013 konferencia » Intelligens és információs rendszerek szekció, 2013

Villamosmérnöki és Informatikai Kar » Információs rendszerek téma , Intelligens rendszerek téma

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

Molnár Vince , Segesdi Dániel

I. helyezett