Bejelentkezés
 Fórum


 Doktori képzés 

 Doktori védések 

 Honosított fokozatok 

 Habilitációs előadások 

 Dokumentumok 

 Kapcsolatok 
 
 
A védés adatai
 
Az Eötvös Loránd Tudományegyetem Doktori Tanácsa
és az
Informatika Doktori Iskola
megszervezte
 
Dávid Ákos
"Verification of Computer-Based Software with Model Checking"
című értekezésének védését
informatikai tudományok tudományágban
 
A védés időpontja: 2013-IX-26 10:00
helye: ELTE Természettudományi Kar, 1117 Bp., Pázmány Péter sétány 1/A, 7.21-es kari tanácsterem
 
az értekezés tézisei (magyar)
az értekezés tézisei (angol nyelven)
az értekezés
a doktorjelölt publikációs listája az MTMT-ben
 
 
Benczúr András id.
iskolavezető		 Kozma László
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): 2013. XII. 11.

 
Minden jog fenntartva © 2007, Országos Doktori Tanács - a doktori adatbázis nyilvántartási száma az adatvédelmi biztosnál: 02003/0001. Program verzió: 2.2358 ( 2017. X. 31. )