Előadás a BME kutatóegyetemi konferencián

Június 21-én került sor "Számoljon velünk - Kutatás-fejlesztés és innováció a Műegyetemen 2013" címmel a BME kutatóegyetemi konferenciájára. A szakmai előadások között, az Intelligens környezetek és e-technológiák kiemelt kutatási területet bemutató szekcióban került sor Majzik István "Beágyazott rendszerek verifikációja" című felkért előadására, ami csoportunk egy fontos kutatási területét mutatta be.