Show simple item record

Varró, Dániel
Hegedüs, Ábel
2015-08-03T10:38:48Z
2015-08-03T10:38:48Z
2014
http://hdl.handle.net/10890/1338
en
Budapesti Műszaki és Gazdaságtudományi Egyetem
dc.subjectSzoftver
dc.subjectModellelmélet
dc.subjectVerifikáció
Back-annotation of execution sequences by advanced search and traceability techniqesen
Futási utak visszavetítése fejlett keresési és nyomonkövethetőségi technikákkalhu
Ph.D. Thesis
Informatikai Tudományok Doktori Iskola
Villamosmérnöki és Informatikai Kar
2014-12-16
000572671


Files in this item

Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record