| Tartalom: |
http://hdl.handle.net/10890/1338 |
| Archívum: |
Műegyetem Digitális Archívum |
| Gyűjtemény: |
3. Disszertációk (BME)
Informatikai Tudományok Doktori Iskola
|
| Cím: |
Back-annotation of execution sequences by advanced search and traceability techniqes
Futási utak visszavetítése fejlett keresési és nyomonkövethetőségi technikákkal
|
| Létrehozó: |
Hegedüs, Ábel
|
| Közreműködő: |
Varró, Dániel
|
| Kiadó: |
Budapesti Műszaki és Gazdaságtudományi Egyetem
|
| Dátum: |
2015-08-03T10:38:48Z
2015-08-03T10:38:48Z
2014
|
| Téma: |
Szoftver
Modellelmélet
Verifikáció
|
| Nyelv: |
angol
|
| Típus: |
Ph.D. Thesis
|
| Formátum: |
application/pdf
application/pdf
application/pdf
|
| Azonosító: |
|
