Show simple item record

dc.contributor.advisorVarró, Dániel
dc.contributor.authorHegedüs, Ábel
dc.date.accessioned2015-08-03T10:38:48Z
dc.date.available2015-08-03T10:38:48Z
dc.date.issued2014
dc.identifier.urihttp://hdl.handle.net/10890/1338
dc.language.isoen
dc.publisherBudapesti Műszaki és Gazdaságtudományi Egyetem
dc.subjectSzoftver
dc.subjectModellelmélet
dc.subjectVerifikáció
dc.titleBack-annotation of execution sequences by advanced search and traceability techniqesen
dc.title.alternativeFutási utak visszavetítése fejlett keresési és nyomonkövethetőségi technikákkalhu
dc.typePh.D. Thesis
dc.publisher.doctoral-schoolInformatikai Tudományok Doktori Iskola
dc.publisher.facultyVillamosmérnöki és Informatikai Kar
dc.date.defence2014-12-16
dc.identifier.bmeomikk-aleph000572671


Files in this item

Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record