Show simple item record

Csopaki, Gyula
Dibuz, Sarolta
Tarnay, Katalin
Pap, Zoltán
2015-08-03T10:30:15Z
2015-08-03T10:30:15Z
2006
http://hdl.handle.net/10890/486
en
Budapesti Műszaki és Gazdaságtudományi Egyetem
dc.subjectSzoftver
dc.subjectProgramellenőrzés
Detection, diagnosis and correction of faults in telecommunications software development based on formal methodsen
Hibák felderítése, diagnosztikája és korrekciója formális módszereken alapuló távközlési szoftver fejlesztése soránhu
Ph.D. Thesis
Villamosmérnöki és Informatikai Kar
2006-10-24
000475329


Files in this item

Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record