Login
 Forum
 
 
Data of the public discussion
 
The Eötvös Loránd University, Budapest Doctoral Committee
and the
Doctoral School of Informatics
doctoral school
has organized the public discussion of
 
Ákos Dávid
 
"Verification of Computer-Based Software with Model Checking"
in research field computer sciences
 
Date of the public discussion of the thesis: 2013-IX-26 10:00
place: ELTE Természettudományi Kar, 1117 Bp., Pázmány Péter sétány 1/A, 7.21-es kari tanácsterem
 
Main findings in the thesis (in Hungarian)
Main findings in the thesis (in English)
The thesis
publication list of the doctoral candidate in MTMT
 
 
András id. Benczúr
head of the school
László Kozma
Thesis supervisor
Date of diploma: 2013. XII. 11.

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 1.2318 ( 2016. XI. 26. )