Időpont:
2017. május 15. 11:15
Helyszín:
I épület L szárny 405-ös terem
Kategória:
PhD előadás
Szervezés:
BME-egyetem
Kapcsolattartó:
Villamosmérnöki és Informatikai Kar
Darvas Dániel értekezésének címe: "Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems" (2017)