Vörös András nyilvános doktori védése

Időpont: 
2018. november 30. 10:15
Helyszín: 
I épület, B szárny 023-as terem
Kategória: 
PhD előadás
Szervezés: 
BME-egyetem
Kapcsolattartó: 
Informatikai Tudományok Doktori Iskola
Vörös András értekezésének címe:  "Symbolic Verification of Petri Net Based Models" (2018)