Műegyetemi Digitális Archivum
    • magyar
    • English
  • magyar 
    • magyar
    • English
  • Bejelentkezés
Megtekintés 
  •   DSpace kezdőoldal
  • 3. Disszertációk (BME)
  • Informatikai Tudományok Doktori Iskola
  • Megtekintés
  •   DSpace kezdőoldal
  • 3. Disszertációk (BME)
  • Informatikai Tudományok Doktori Iskola
  • Megtekintés
JavaScript is disabled for your browser. Some features of this site may not work without it.

Automated offline verification of graph rewriting-based model transformations

Thumbnail
Megtekintés/Megnyitás
Értekezés (5.742MB)
Tézisfüzet (magyar) (710.4KB)
Tézisfüzet (angol) (678.6KB)
Metaadat
Teljes megjelenítés
URI
http://hdl.handle.net/10890/1204
Gyűjtemény
  • Informatikai Tudományok Doktori Iskola [180]
Cím és alcím
Automated offline verification of graph rewriting-based model transformations
Cím és alcím más nyelven
Gráfújraírás-alapú modelltranszformációk helyességének offline ellenőrzése
Szerző
Asztalos, Márk
Megjelenés ideje
2012
Védés dátuma
2013-03-05
Témavezető
Levendovszky, Tihamér
Lengyel, László
Kiadó
Budapesti Műszaki és Gazdaságtudományi Egyetem
Nyelv
en
Egyéb azonosítók
BME OMIKK katalógus-azonosító: 000566812
Dokumentumtípus
Ph.D. Thesis
Kar
Villamosmérnöki és Informatikai Kar
Doktori iskola
Informatikai Tudományok Doktori Iskola

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Kapcsolat | Visszajelzés

Content by
DSpace software copyright © 2002-2016  DuraSpace
Kapcsolat | Visszajelzés
Theme by 
Atmire NV
 

 

Böngészés

A teljes DSpace-benKategóriák és gyűjteményekMegjelenés dátumaSzerzőCímTárgyszóA gyűjteménybenMegjelenés dátumaSzerzőCímTárgyszó

Személyes felhasználói fiók

BejelentkezésRegisztráció

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Kapcsolat | Visszajelzés

Content by
DSpace software copyright © 2002-2016  DuraSpace
Kapcsolat | Visszajelzés
Theme by 
Atmire NV