A védés adatai
A
Budapesti Műszaki és Gazdaságtudományi Egyetem Doktori Tanácsa
és az
Informatikai Tudományok Doktori Iskola
megszervezte
Vörös András
"Symbolic Verification of Petri Net Based Models" (2018)
című értekezésének védését
informatikai tudományok tudományágban
A védés időpontja: 2018-XI-30 10:15
helye: BME I. ép. B. szárny 023.
Doi/handle elérés (értekezés, tézisek)
a doktorjelölt publikációs listája az MTMT-ben
Levendovszky János
iskolavezető
Bartha Tamás
témavezető
Az oklevél dátuma (a fokozat odaítélése az Intézmény Doktori Tanácsának döntése alapján): 2018. XII. 13.
