Hibák felderítése, diagnosztikája és korrekciója formális módszereken alapuló telekommunikációs szoftver fejlesztés során

Szerző: 

Pap Zoltán

Témavezető (TMIT): 

Dr. Csopaki Gyula

Doktori iskola: 

Villamosmérnöki Tudományok Doktori Iskola

Védés időpontja: 

2006. 10

doktori.hu link: 

http://www.doktori.hu/index.php